Hi,

I am new to sel4. I find how to run sel4test on an x86_64 machine, but with only serial output. How can I run sel4test or another sel4 system image using a normal VGA output? Thank you.

Usually, GUI output is something for the userland or an OS personality to provide, not the kernel. I don't think this is trivially possible, it needs some graphic driver/lib at least. I'm not an x86 expert tough, maybe there is some BIOS legacy functionality that allows easy char printing. There is an EGA driver listed at https://docs.sel4.systems/projects/available-user-components.html that might be useful for you to explore monitor output options. For a deeper look into how GUI support works, I recommend looking into Genode (https://genode.org) then.

Note that for test applications like sel4test or sel4bench, having additional drivers in the system has an impact on the tests, so there is no much gain in the end. Also, test results can be copied from a UART terminal application easily, doing the same from a screen this is not so convenient.

Axel