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.
Back to the thread
Back to the list