3 # this file configures a boot program (/boot) for a kernel.
6 echo usage: mkboot file >[1=2]
13 #include "../boot/boot.h"
18 BEGIN { bootprog = "boot"; bootdisk = "/dev/sdC0/"; }
19 $0 ~ "^boot" && $2=="cpu"\
20 { if(NF == 4 && $3 == "boot")
23 $0 ~ "^boot" && $2=="boot" && NF==3\
25 END { print "char* bootdisk = \"" bootdisk "\";"
26 print "extern void " bootprog "(int, char**);"
28 print "main(int argc, char **argv)"
30 print "\t" bootprog "(argc, argv);"