Hello, I'm new to seL4 and I'm just doing it for learning purpose. I'm trying to run seL4 test suite or simple hello world task from seL4 tutorials on the real hardware. So far I had no problems compiling seL4 test suite and running via QEMU for both x32 and x64 platforms. However, when I try to run it on the actual hardware following Running on real hardware tutorial for x86 I end up with no output at all and no error msgs that can give me a clue on where something went wrong. menuentry “seL4 test suite” --class os {
            load video
            insmod gzio
            insmod part_msdos
            insmod ext2
            set root=’(hd0,msdos5)’
            multiboot /boot/sel4/kernel-ia32-pc99
            module /boot/sel4/sel4test-driver-image-ia32-pc99
}