gcc32k -O -I. -I/usr/local/pc532-mach/DIST/include  -c bootstrap.c -o bootstrap.o
gcc32k -O -I. -I/usr/local/pc532-mach/DIST/include  -c def_pager_setup.c -o def_pager_setup.o
gcc32k -O -I. -I/usr/local/pc532-mach/DIST/include  -c default_pager.c -o default_pager.o
gcc32k -O -I. -I/usr/local/pc532-mach/DIST/include  -c ns532/exec.c -o exec.o
gcc32k -O -I. -I/usr/local/pc532-mach/DIST/include  -c file_io.c -o file_io.o
gcc32k -O -I. -I/usr/local/pc532-mach/DIST/include  -c kalloc.c -o kalloc.o
gcc32k -O -I. -I/usr/local/pc532-mach/DIST/include  -c load.c -o load.o
gcc32k -O -I. -I/usr/local/pc532-mach/DIST/include  -c strfcns.c -o strfcns.o
gcc32k -O -I. -I/usr/local/pc532-mach/DIST/include  -c wiring.c -o wiring.o
gcc32k -z -o bootstrap -e __start /usr/local/pc532-mach/DIST/lib/crt0.o bootstrap.o def_pager_setup.o default_pager.o exec.o file_io.o kalloc.o load.o strfcns.o wiring.o /usr/local/pc532-mach/DIST/lib/libthreads.a /usr/local/pc532-mach/DIST/lib/libmach_sa.a
