options.amd64 revision 158384 
168021Smarkm# $FreeBSD: head/sys/conf/options.amd64 158384 2006-05-10 03:25:45Z ambrisko $
268021Smarkm# Options specific to AMD64 platform kernels
368021Smarkm
468021SmarkmAUTO_EOI_1		opt_auto_eoi.h
568021SmarkmAUTO_EOI_2		opt_auto_eoi.h
668021SmarkmMAXMEM
768021SmarkmPERFMON
8PMAP_SHPGPERPROC	opt_pmap.h
9MP_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.
14COMPAT_IA32		opt_compat.h
15#IBCS2			opt_dontuse.h
16#COMPAT_LINUX		opt_dontuse.h
17COMPAT_LINUX32		opt_compat.h
18#COMPAT_SVR4		opt_dontuse.h
19#DEBUG_SVR4		opt_svr4.h
20LINPROCFS		opt_dontuse.h
21LINSYSFS		opt_dontuse.h
22NDISAPI			opt_dontuse.h
23
24CLK_CALIBRATION_LOOP		opt_clock.h
25CLK_USE_I8254_CALIBRATION	opt_clock.h
26TIMER_FREQ			opt_clock.h
27
28VGA_ALT_SEQACCESS	opt_vga.h
29VGA_DEBUG		opt_vga.h
30VGA_NO_FONT_LOADING	opt_vga.h
31VGA_NO_MODE_CHANGE	opt_vga.h
32VGA_SLOW_IOACCESS	opt_vga.h
33VGA_WIDTH90		opt_vga.h
34
35ATKBD_DFLT_KEYMAP	opt_atkbd.h
36
37# -------------------------------
38# isdn4bsd: passive PCI cards
39# -------------------------------
40ELSA_QS1PCI		opt_i4b.h
41# -------------------------------
42# isdn4bsd: misc options
43# -------------------------------
44# temporary workaround for SMP machines
45I4B_SMP_WORKAROUND	opt_i4b.h
46# enable VJ compression code for ipr i/f
47IPR_VJ			opt_i4b.h
48IPR_LOG			opt_i4b.h
49
50# -------------------------------
51# EOF
52# -------------------------------
53HAMMER			opt_cpu.h
54PSM_HOOKRESUME		opt_psm.h
55PSM_RESETAFTERSUSPEND	opt_psm.h
56PSM_DEBUG		opt_psm.h
57DEV_ATPIC		opt_atpic.h
58
59# Debugging
60STOP_NMI		opt_cpu.h
61
62# BPF just-in-time compiler
63BPF_JITTER		opt_bpf.h
64