A tiny set of libraries and a tiny bootloader for creating bare-metal programs for 32-bit x86