6 Dec
2018
6 Dec
'18
7:08 a.m.
Hi All,
There was some problem with my serial connection cable. I changed it and now everything is working fine.
Can someone please provide me some references for applications (usable systems built) of seL4 on Raspberry Pi.
--
Thanks and Regards,
Amit Goyal