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 21NDISAPI opt_dontuse.h 22 23CLK_CALIBRATION_LOOP opt_clock.h 24CLK_USE_I8254_CALIBRATION opt_clock.h 25TIMER_FREQ opt_clock.h 26 27VGA_ALT_SEQACCESS opt_vga.h 28VGA_DEBUG opt_vga.h 29VGA_NO_FONT_LOADING opt_vga.h 30VGA_NO_MODE_CHANGE opt_vga.h 31VGA_SLOW_IOACCESS opt_vga.h 32VGA_WIDTH90 opt_vga.h 33 34ATKBD_DFLT_KEYMAP opt_atkbd.h 35 36# ------------------------------- 37# isdn4bsd: passive PCI cards 38# ------------------------------- 39ELSA_QS1PCI opt_i4b.h 40# ------------------------------- 41# isdn4bsd: misc options 42# ------------------------------- 43# temporary workaround for SMP machines 44I4B_SMP_WORKAROUND opt_i4b.h 45# enable VJ compression code for ipr i/f 46IPR_VJ opt_i4b.h 47IPR_LOG opt_i4b.h 48 49# ------------------------------- 50# EOF 51# ------------------------------- 52HAMMER opt_cpu.h 53PSM_HOOKRESUME opt_psm.h 54PSM_RESETAFTERSUSPEND opt_psm.h 55PSM_DEBUG opt_psm.h 56DEV_ATPIC opt_atpic.h 57 58# Debugging 59STOP_NMI opt_cpu.h 60 61# BPF just-in-time compiler 62BPF_JITTER opt_bpf.h 63