I was just playing around with booting oskit kernels under VMWare, and they seem to work fine. IMO, VMware is a great tool for developing non-time-dependent kernel code. http://www.vmware.com John -- John Regehr | regehr@virginia.edu | http://www.cs.virginia.edu/~jdr8d/ grad student | Department of Computer Science | University of Virginia