Booting on what? Are BIOS calls (if allowed) considered a library? The overhead of managing a framebuffer etc without an OS (which would be a required component not included on the disk) feels like it would dominate.