[seL4] x86 Bootable USB install

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 https://sel4.systems/Download/ 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,

Matthew Scaperoth

Jr. Programmer Analyst

The George Washington University

Academic Technologies

Tel: 202-994-6907