[okl4-developer] Sel4 output.
6 views
Skip to first unread message
Kevin C. Kurtz
Jan 17, 2013, 9:53:40 AM1/17/13
to Deve...@okl4.org
Ive been playing with sel4 for my thesis. I get output from virtual machines, but none on real physical hardware. Okl4 works fine through serial. Any thoughts?
Thanks, kev
Reply all
Reply to author
Forward
0 new messages