Should the demo CD iso image from http://os.inf.tu-dresden.de/L4/LinuxOnL4/download.shtml boot in VirtualBox?