The IA-32 Execution Layer (IA-32 EL) is available for download from Intel: http://www.intel.com/software/products/opensource/opsys/IA32-EL/ I think the license may be liberal enough to allow for packaging and distribution by Debian. This would be very helpful since it's a bit of a pain to install the bits by hand. Is anybody working on packaging ia32el for Debian already? If not, anybody want to take a stab at it? ;-) --david