"Zhonghao" == Zhonghao Liao <zhliao@iastate.edu> writes:
Zhonghao> I am a graduate student and I am doing ainformation security Zhonghao> related research project using SEL4. I installed the SEL4 Zhonghao> kernel on a raspberry pie 3. The problem is that I can't Zhonghao> compile C programs on this Raspberry Pi. Any suggestions for Zhonghao> solving this problem? Thank you! I'm not sure exactly what you're trying to do. seL4 is a microkernel, it has no userspace of its own. Typically people cross compile on their desktop or server computers, and then deploy an image including seL4 to the target machine (the rPi in this case). If you want a full POSIX userspace with C compiler, you'll need to install a virual machine monitor and Linux or something on top or seL4. I suggest, if you haven't already done so, you do the tutorials at https://docs.sel4.systems/Tutorials/ which will give an introduction to how seL4 can be used. Peter C -- Dr Peter Chubb Tel: +61 2 9490 5852 http://ts.data61.csiro.au/ Trustworthy Systems Group CSIRO's Data61