1 # $FreeBSD$
2 # Options specific to AMD64 platform kernels
3
4 AUTO_EOI_1 opt_auto_eoi.h
5 AUTO_EOI_2 opt_auto_eoi.h
6 MAXMEM
7 PERFMON
8 PMAP_SHPGPERPROC opt_pmap.h
9 MP_WATCHDOG
10
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
15 #IBCS2 opt_dontuse.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
20 LINPROCFS opt_dontuse.h
21 LINSYSFS opt_dontuse.h
22 NDISAPI opt_dontuse.h
23
24 CLK_CALIBRATION_LOOP opt_clock.h
25 CLK_USE_I8254_CALIBRATION opt_clock.h
26 TIMER_FREQ opt_clock.h
27
28 # options for serial support
29 COM_ESP opt_sio.h
30 COM_MULTIPORT opt_sio.h
31 CONSPEED opt_sio.h
32 GDBSPEED opt_sio.h
33
34 VGA_ALT_SEQACCESS opt_vga.h
35 VGA_DEBUG 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
39 VGA_WIDTH90 opt_vga.h
40
41 ATKBD_DFLT_KEYMAP opt_atkbd.h
42
43 # -------------------------------
44 # isdn4bsd: passive PCI cards
45 # -------------------------------
46 ELSA_QS1PCI opt_i4b.h
47 # -------------------------------
48 # isdn4bsd: misc options
49 # -------------------------------
50 # temporary workaround for SMP machines
51 I4B_SMP_WORKAROUND opt_i4b.h
52 # enable VJ compression code for ipr i/f
53 #XXXBZ#IPR_VJ opt_i4b.h
54 #XXXBZ#IPR_LOG opt_i4b.h
55
56 # -------------------------------
57 # EOF
58 # -------------------------------
59 HAMMER opt_cpu.h
60 PSM_HOOKRESUME opt_psm.h
61 PSM_RESETAFTERSUSPEND opt_psm.h
62 PSM_DEBUG opt_psm.h
63 DEV_ATPIC opt_atpic.h
64
65 # Debugging
66 STOP_NMI opt_cpu.h
67
68 # BPF just-in-time compiler
69 BPF_JITTER opt_bpf.h
Cache object: 6a4791ff32086ed6ddce917db9b5ca82
|