1# 2# 386BSD operating system kernel for argo server 3# 4 5KERNEL= 386bsd 6IDENT+= -Di486 -DTCP_COMPAT_42 -DGATEWAY 7 8# standard kernel with INTERNET protocols 9.include "$S/config/config.std.mk" 10.include "$S/config/config.inet.mk" 11 12# additional options 13.include "$S/ddb/Makefile.inc" 14.include "$S/bpf/Makefile.inc" # packet filter 15.include "$S/as/Makefile.inc" # Adaptec 1540 SCSI 16.include "$S/ed/Makefile.inc" # NE2000/SMC ethernet 17.include "$S/kern/opt/ktrace/Makefile.inc" # BSD ktrace mechanism 18.include "$S/isofs/Makefile.inc" # ISO-9660 CDROM filesystem 19.include "$S/mfs/Makefile.inc" # BSD memory-based filesystem 20#.include "$S/dosfs/Makefile.inc" # MS DOS FAT filesystem 21 22.include "$S/config/kernel.mk" 23