Hi, I am a graduate student and I am doing ainformation security related research project using SEL4. I installed the SEL4 kernel on a raspberry pie 3. The problem is that I can't compile C programs on this Raspberry Pi. Any suggestions for solving this problem? Thank you!
Best, Zhonghao Liao
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
