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 33 34VGA_ALT_SEQACCESS opt_vga.h 35VGA_DEBUG opt_vga.h 36VGA_NO_FONT_LOADING opt_vga.h 37VGA_NO_MODE_CHANGE opt_vga.h 38VGA_SLOW_IOACCESS opt_vga.h 39VGA_WIDTH90 opt_vga.h 40 41ATKBD_DFLT_KEYMAP opt_atkbd.h 42 43# ------------------------------- 44# isdn4bsd: passive PCI cards 45# ------------------------------- 46ELSA_QS1PCI opt_i4b.h 47# ------------------------------- 48# isdn4bsd: misc options 49# ------------------------------- 50# temporary workaround for SMP machines 51I4B_SMP_WORKAROUND opt_i4b.h 52# enable VJ compression code for ipr i/f 53IPR_VJ opt_i4b.h 54IPR_LOG opt_i4b.h 55 56# ------------------------------- 57# EOF 58# ------------------------------- 59HAMMER opt_cpu.h 60PSM_HOOKRESUME opt_psm.h 61PSM_RESETAFTERSUSPEND opt_psm.h 62PSM_DEBUG opt_psm.h 63DEV_ATPIC opt_atpic.h 64 65# Debugging 66STOP_NMI opt_cpu.h 67 68# BPF just-in-time compiler 69BPF_JITTER opt_bpf.h 70