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