>>>>> "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