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