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
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_dontuse.h
15 COMPAT_FREEBSD32 opt_compat.h
17 #COMPAT_LINUX opt_dontuse.h
18 COMPAT_LINUX32 opt_compat.h
19 #COMPAT_SVR4 opt_dontuse.h
20 #DEBUG_SVR4 opt_svr4.h
21 LINPROCFS opt_dontuse.h
22 LINSYSFS opt_dontuse.h
25 TIMER_FREQ opt_clock.h
27 # options for serial support
29 COM_MULTIPORT opt_sio.h
34 VGA_ALT_SEQACCESS opt_vga.h
36 VGA_NO_FONT_LOADING opt_vga.h
37 VGA_NO_MODE_CHANGE opt_vga.h
38 VGA_SLOW_IOACCESS opt_vga.h
44 # AGP debugging support
47 ATKBD_DFLT_KEYMAP opt_atkbd.h
49 # -------------------------------
51 # -------------------------------
53 PSM_HOOKRESUME opt_psm.h
54 PSM_RESETAFTERSUSPEND opt_psm.h
59 KDTRACE_FRAME opt_kdtrace.h
61 # BPF just-in-time compiler