Binaries made here are supposed to live on the console floppy,
and be loaded by the boot command file.
