The BIOS startup code is written and functional but not yet documented or integrated into the OSKit source tree.