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.
Please note that the kernel and the liblitmus included in the image are currently outdated. You'll need to update to a current version from within the VM once it is running.
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