"Matthew" == Matthew Scaperoth mscapero@gwu.edu writes:
Matthew> First, thank you for your responses so far. This message Matthew> board has been helpful with learning seL4.
Matthew> While we have been working to benchmark the seL4 system on Matthew> bare metal we have run into some trouble trying to figure out Matthew> how to get output to the console instead of serial. For our Matthew> tests we are using the existing seL4test-manifest files and Matthew> defining custom tests within the Matthew> apps/sel4test-tests/src/tests/ipc.c file. We noticed that the Matthew> test output will only go to serial. We have tested with and Matthew> without the debug configuration.
seL4 test supports only a serial console. It's easy to capture serial output for automatic testing, so our scripts tend to autoreboot (which loads the test suite over tftp), then capture the serial output using an expect script, to log errors. This works for all the platforms we support --- although the X86 ones are harder to script rebooting for, as it needs IPMI or similar.
AFAIK, noone has yet written any other console driver.
Peter C