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 _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel