1# $FreeBSD$ 2# Options specific to AMD64 platform kernels 3 4AUTO_EOI_1 opt_auto_eoi.h 5AUTO_EOI_2 opt_auto_eoi.h 6MAXMEM 7PERFMON 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 28# options for serial support 29COM_ESP opt_sio.h 30COM_MULTIPORT opt_sio.h 31CONSPEED opt_sio.h 32GDBSPEED opt_sio.h 33COM_NO_ACPI opt_sio.h 34 35VGA_ALT_SEQACCESS opt_vga.h 36VGA_DEBUG opt_vga.h 37VGA_NO_FONT_LOADING opt_vga.h 38VGA_NO_MODE_CHANGE opt_vga.h 39VGA_SLOW_IOACCESS opt_vga.h 40VGA_WIDTH90 opt_vga.h 41 42ATKBD_DFLT_KEYMAP opt_atkbd.h 43 44# ------------------------------- 45# isdn4bsd: passive PCI cards 46# ------------------------------- 47ELSA_QS1PCI opt_i4b.h 48# ------------------------------- 49# isdn4bsd: misc options 50# ------------------------------- 51# temporary workaround for SMP machines 52I4B_SMP_WORKAROUND opt_i4b.h 53# enable VJ compression code for ipr i/f 54#XXXBZ#IPR_VJ opt_i4b.h 55#XXXBZ#IPR_LOG opt_i4b.h 56 57# ------------------------------- 58# EOF 59# ------------------------------- 60HAMMER opt_cpu.h 61PSM_HOOKRESUME opt_psm.h 62PSM_RESETAFTERSUSPEND opt_psm.h 63PSM_DEBUG opt_psm.h 64DEV_ATPIC opt_atpic.h 65 66# Debugging 67STOP_NMI opt_cpu.h 68 69# BPF just-in-time compiler 70BPF_JITTER opt_bpf.h 71