1# 2# 386BSD operating system kernel for all of wfj's local hosts. 3# 4 5KERNEL= 386bsd 6IDENT= -Di486 7 8# standard kernel with INTERNET protocols 9.include "$S/config/config.std.mk" # standard configuration 10.include "$S/config/config.inet.mk" # INTERNET 11 12# additional options 13.include "$S/kern/opt/ktrace/Makefile.inc" # BSD ktrace mechanism 14.include "$S/fpu-emu/Makefile.inc" # WM math emulator 15.include "$S/ddb/Makefile.inc" # kernel debugger 16.include "$S/as/Makefile.inc" # adaptec SCSI 17.include "$S/mcd/Makefile.inc" # mitsumi cdrom 18.include "$S/wt/Makefile.inc" # wangtec cartridge tape 19.include "$S/ed/Makefile.inc" # NS/WD/SMC/3COM ethernet 20.include "$S/isofs/Makefile.inc" # ISO-9660 CDROM filesystem 21.include "$S/dosfs/Makefile.inc" # MS/DOS FAT filesystem 22.include "$S/mfs/Makefile.inc" # BSD memory-based filesystem 23 24.include "$S/config/kernel.mk" # makefile boilerplate 25