Hi,
I am very new to sel4 and I am trying to run it bare-metal on an Intel Xeon x86_64 machine. I am following the instructions here PC99 | seL4 docs.
I can run seL4 using the ./simulate script which runs the kernel under QEMU. However, I would like the run seL4 natively on my machine. After the build, I have the following images in the images/ directory.
kernel-x86_64-pc99
sel4test-driver-image-x86_64-pc99
I have created a Grub2 menu entry by copying these images under /boot. However, when I boot using the created menu entry I get a black screen and I also see no output on the serial port. My Grub2 menu entry is as follows
menuentry “Load seL4 VM” --class os {
load_video
insmod gzio
insmod part_msdos
insmod ext2
set root=‘(hd0,msdos2)’
multiboot /boot/kernel-x86_64-pc99
module /boot/sel4test-driver-image-x86_64-pc99
}
I have also tried the multiboot2 protocol as I have an UEFI-supported system but it also doesn’t work.
After booting into the seL4 VM I get a black screen and there is no output on the serial port. Any Idea what I am doing wrong?