# Usage: mawk -f dump.awk
#
# Save the BIOS area to dump.hex on a DOS PC.
# Use Paul Vojta's DEBUG.COM version 1.25.
#
# Adapted FROM: https://aeb.win.tue.nl/linux/hdtypes/hdtypes-1.html

BEGIN {
    dname = "dump.hex"
    sname = "dump.scr"
    printf "d f000:0,ffff\nq\n" >sname
    close(sname)
    cmd = "debug.com <" sname " >" dname
    system(cmd)
    exit
}