Home - GaloisInc/camkes-vm GitHub Wiki
See details on: http://www.randomhacks.co.uk/how-to-mount-a-qcow2-disk-image-on-ubuntu/
sudo modprobe nbd max_part=8
sudo qemu-nbd --connect=/dev/nbd0 /absolute/path/to/disk/image
sudo fdisk /dev/nbd0 -l # check the parititons
sudo mount /dev/nbd0p1 /tmp/somepoint/
Unmount with:
sudo umount /tmp/somepoint/
sudo qemu-nbd --disconnect /dev/nbd0
From here. Copy the kernel image and capdl loader into root directory, then add to /boot/grub/grub.cf this:
menuentry 'seL4' --class fedora --class gnu-linux --class gnu --class os {
load_video
insmod gzio
insmod part_msdos
insmod ext2
set root='(hd0,msdos1)'
search --no-floppy --fs-uuid --set=root <deviceID>
echo 'Loading seL4 kernel'
multiboot /kernel-image-ia32-pc99
echo 'Loading initial module ...'
module /sel4-image-ia32-pc99
}
repo init -u https://github.com/GaloisInc/camkes-vm-manifest -m devel.xml -b devel
repo sync
repo init -u https://github.com/GaloisInc/camkes-manifest -m devel.xml -b devel
repo sync