13 Dec
2017
13 Dec
'17
9:41 a.m.
One more data point, ethernet also seems to be working. I compiled a UEFI image from the tcp_terminal example in the gems repo. I can now happily recommend the UP hardware (Atom) as an embedded platform for seL4 with driver support courtesy of Genode. -- Edward Sandberg Adventium Labs 111 3rd Avenue S. Suite #100 Minneapolis, MN 55401