Hi Joseph,
seL4 has very limited support for graphics, but you are welcome to design a graphics driver and GUI for the RPI3 :). Be sure to post screen shots if you do!
In the mean time, you will need a connection to the serial port to obtain any output from the system.
- Alex
On Tue, 2017-02-21 at 11:15 -0500, Joseph Adam Powers wrote:
It seems to be necessary for me to use the debug output using a serial cable on UART0 u-boot seems to be waiting for a Ethernet or serial cable connection to finish boot process. I don't have the serial cable so I just need some understanding that that is the case considering that I followed the rest of the instructions on the blog at https://research.csiro.au/tsblog/sel4-raspberry-pi-3/ , newbie question btw.
Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel