Re: [seL4] x86 Bootable USB install

Dr. Chubb, Thanks so much for your reply. This did the trick! I have another question that I will ask on another thread. Thanks again, Matthew Scaperoth Jr. Programmer Analyst The George Washington University Academic Technologies Tel: 202-994-6907 On Thu, Sep 4, 2014 at 7:40 PM, Peter Chubb wrote:

...

...

...

...

...

"Matthew" == Matthew Scaperoth writes:

Matthew> I am at the George Washington University working on Matthew> benchmarking the seL4 system. I am new to systems, and I am Matthew> having a hard time building a bootable USB image On Ubuntu Matthew> 14.04 x86. I understand that there is a Grub2 stanza on the Matthew> Downloads page https://sel4.systems/Download/ on the SeL4 Matthew> website, but I cannot find the sel4kernel and sel4rootserver Matthew> files in the system to build into a boot image.

If you have built a seL4-based systemaccording to the instructions, the kernel and root server are in .../images/ They have different names according to what you've built.

For example, sel4test names the root server sel4test-driver-image-ia32-pc99 and the kernel kernel-ia32-pc99

I generally use syslinux to create a bootable USB stick, as the grub on my system wants to use EFI.

Like this, assuming your flash drive is at /dev/sdb with a FAT partition at /dev/sdb1:

install-mbr /dev/sdb syslinux --install /dev/sdb1 mount /dev/sdb1 /mnt cp images/sel4test-driver-image-ia32-pc99 /mnt/rootserver cp images/kernel-ia32-pc99 /mnt/sel4kernel cat > /mnt/syslinux.cfg <

use fdisk to make sure the first partition is bootable.

And you're done. Output will come on the serial port

Hope this helps. -- Dr Peter Chubb peter.chubb AT nicta.com.au http://www.ssrg.nicta.com.au Software Systems Research Group/NICTA