2 # Options specific to AMD64 platform kernels
4 AUTO_EOI_1 opt_auto_eoi.h
5 AUTO_EOI_2 opt_auto_eoi.h
8 PMAP_SHPGPERPROC opt_pmap.h
9 MP_WATCHDOG opt_mp_watchdog.h
11 # Options for emulators. These should only be used at config time, so
12 # they are handled like options for static filesystems
13 # (see src/sys/conf/options), except for broken debugging options.
14 COMPAT_IA32 opt_compat.h
16 #COMPAT_LINUX opt_dontuse.h
17 COMPAT_LINUX32 opt_compat.h
18 #COMPAT_SVR4 opt_dontuse.h
19 #DEBUG_SVR4 opt_svr4.h
22 CLK_CALIBRATION_LOOP opt_clock.h
23 CLK_USE_I8254_CALIBRATION opt_clock.h
24 TIMER_FREQ opt_clock.h
26 VGA_ALT_SEQACCESS opt_vga.h
28 VGA_NO_FONT_LOADING opt_vga.h
29 VGA_NO_MODE_CHANGE opt_vga.h
30 VGA_SLOW_IOACCESS opt_vga.h
33 ATKBD_DFLT_KEYMAP opt_atkbd.h
35 # -------------------------------
36 # isdn4bsd: passive PCI cards
37 # -------------------------------
39 # -------------------------------
40 # isdn4bsd: misc options
41 # -------------------------------
42 # temporary workaround for SMP machines
43 I4B_SMP_WORKAROUND opt_i4b.h
44 # enable VJ compression code for ipr i/f
48 # -------------------------------
50 # -------------------------------
52 PPC_PROBE_CHIPSET opt_ppc.h
54 PSM_HOOKRESUME opt_psm.h
55 PSM_RESETAFTERSUSPEND opt_psm.h
60 KDB_STOP_NMI opt_kdb.h