Hello,
I am at the George Washington University working on benchmarking the seL4 system. I am new to systems, and I am having a hard time building a bootable USB image On Ubuntu 14.04 x86. I understand that there is a Grub2 stanza on the Downloads page on the SeL4 website, but I cannot find the sel4kernel and sel4rootserver files in the system to build into a boot image.
I would like to build an image using a process similar to the one in Pistachio (see
https://www.l4ka.org/120.php) except for using Grub2 of course.
Are there instructions for booting on full hardware such as a PC?
Regards,
The George Washington University
Academic Technologies