carta

mbchk(1) on Linux

The text a883ac61c76a, as Debian 4.0 (Etch) shipped it.

check the format of a Multiboot kernel

mbchk(1) on Linux now