4 Sep
2019
4 Sep
'19
1:50 a.m.
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
2395
Age (days ago)
2395
Last active (days ago)
1 comments
2 participants
participants (2)
-
Chubb, Peter (Data61, Kensington NSW) -
Zhonghao Liao