Problems running l4-linux in VMWare with SCSI Discs