We are happy to make a QEMU virtual machine image available in qcow2 format. The image has a minimal user-land installed (no graphical components) and is able to boot both the stock Ubuntu kernel and a LITMUSRT kernel when the kernel is configured correctly and QEMU is given the proper arguments.

The following command is used to boot the image under QEMU. Make substitutions where necessary. For instance, the parameter passed via -hda should be the path to either the above image or a QEMU backing image. The parameter passed via -kernel should be the path to the compiled bzImage.

Leave off -kernel and -append to boot Grub and the stock Ubuntu kernel.

   1 qemu-system-x86_64 \
   2        -enable-kvm \
   3        -cpu host \
   4        -smp 2 \
   5        -hda /path/to/ubuntu.qcow2.img \
   6        -m 1024 \
   7        -name "ubuntu-qemu-cjk" \
   8        -nographic \
   9        -kernel "${kernel}" \
  10        -append "console=ttyS0,115200 root=/dev/sda1 ${append}" \
  11        -gdb tcp::12345 \
  12        -net nic \
  13        -net user,hostfwd=::2222-:22