HardenedBSD/sys/conf/files.i386

46 lines
1.7 KiB
Plaintext
Raw Normal View History

1993-08-22 00:24:24 +02:00
# This file tells config what files go into building a kernel,
# files marked standard are always included.
1993-06-12 16:58:17 +02:00
#
# $Id: files.i386,v 1.13 1993/10/09 23:59:13 rgrimes Exp $
1993-06-12 16:58:17 +02:00
#
i386/i386/autoconf.c standard device-driver
i386/i386/cons.c standard
i386/i386/db_disasm.c optional ddb
i386/i386/db_interface.c optional ddb
i386/i386/db_trace.c optional ddb
i386/i386/in_cksum.c optional inet
i386/i386/machdep.c standard config-dependent
i386/i386/math_emulate.c optional math_emulate
1993-06-12 16:58:17 +02:00
i386/i386/mem.c standard
i386/i386/microtime.s standard
i386/i386/ns_cksum.c optional ns
i386/i386/pmap.c standard
i386/i386/sys_machdep.c standard
i386/i386/trap.c standard
i386/i386/vm_machdep.c standard
i386/isa/aha1542.c optional aha device-driver
i386/isa/aha1742.c optional ahb device-driver
i386/isa/bt742a.c optional bt device-driver
i386/isa/clock.c standard
i386/isa/com.c optional com device-driver
i386/isa/dcfclk.c optional dcfclk device-driver
i386/isa/fd.c optional fd device-driver
i386/isa/if_ed.c optional ed device-driver
i386/isa/if_ie.c optional ie device-driver
1993-06-12 16:58:17 +02:00
i386/isa/if_is.c optional is device-driver
i386/isa/if_ix.c optional ix device-driver
i386/isa/isa.c optional isa device-driver
i386/isa/lpa.c optional lpa device-driver
i386/isa/lpt.c optional lpt device-driver
i386/isa/mse.c optional mse device-driver
i386/isa/npx.c optional npx device-driver
1993-07-26 23:19:30 +02:00
i386/isa/syscons.c optional sc device-driver
1993-06-12 16:58:17 +02:00
i386/isa/pccons.c optional pc device-driver
1993-10-10 00:59:13 +01:00
i386/isa/sb.c optional sb device-driver
1993-06-12 16:58:17 +02:00
i386/isa/sio.c optional sio device-driver
i386/isa/spkr.c optional speaker
i386/isa/tw.c optional tw device-driver
i386/isa/ultra14f.c optional uha device-driver
i386/isa/wd.c optional wd device-driver
i386/isa/wt.c optional wt device-driver