This is mostly for my own reference, but since it might be useful to others: By "Properly booting" I mean "Integrating into the boot system as well as Mac OS X does". The device should be visible from the boot picker menu and should be selectable as a startup disk. For this to happen the boot should be in HFS+ format and have the following files:/mach_kernel (can be empty)/System/Library/CoreServi