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 opt_perfmon.h 8PMAP_SHPGPERPROC opt_pmap.h 9MP_WATCHDOG opt_mp_watchdog.h 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 20#NDISAPI opt_dontuse.h 21 22CLK_CALIBRATION_LOOP opt_clock.h 23CLK_USE_I8254_CALIBRATION opt_clock.h 24TIMER_FREQ opt_clock.h 25 26VGA_ALT_SEQACCESS opt_vga.h 27VGA_DEBUG opt_vga.h 28VGA_NO_FONT_LOADING opt_vga.h 29VGA_NO_MODE_CHANGE opt_vga.h 30VGA_SLOW_IOACCESS opt_vga.h 31VGA_WIDTH90 opt_vga.h 32 33ATKBD_DFLT_KEYMAP opt_atkbd.h 34 35# ------------------------------- 36# isdn4bsd: passive PCI cards 37# ------------------------------- 38ELSA_QS1PCI opt_i4b.h 39# ------------------------------- 40# isdn4bsd: misc options 41# ------------------------------- 42# temporary workaround for SMP machines 43I4B_SMP_WORKAROUND opt_i4b.h 44# enable VJ compression code for ipr i/f 45IPR_VJ opt_i4b.h 46IPR_LOG opt_i4b.h 47 48# ------------------------------- 49# EOF 50# ------------------------------- 51HAMMER opt_cpu.h 52PPC_PROBE_CHIPSET opt_ppc.h 53PPC_DEBUG opt_ppc.h 54PSM_HOOKRESUME opt_psm.h 55PSM_RESETAFTERSUSPEND opt_psm.h 56PSM_DEBUG opt_psm.h 57NO_MIXED_MODE 58DEV_ATPIC opt_atpic.h 59