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 peter.chubb@nicta.com.au wrote:
"Matthew" == Matthew Scaperoth mscapero@gwu.edu 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 <<EOF SERIAL 0 115200 DEFAULT seL4test LABEL seL4test kernel mboot.c32 append sel4kernel --- rootserver EOF cp /usr/lib/syslinux/modules/bios/mboot.c32 /mnt cp /usr/lib/syslinux/modules/bios/libcom32.c32 /mnt umount /mnt
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