1DISABLE_PSE 2PMAP_SHPGPERPROC opt_pmap.h 3PPC_PROBE_CHIPSET opt_ppc.h 4PPC_DEBUG opt_ppc.h 5MAXMEM 6AUTO_EOI_1 opt_auto_eoi.h 7AUTO_EOI_2 opt_auto_eoi.h 8CONSPEED opt_comconsole.h 9BROKEN_KEYBOARD_RESET opt_reset.h 10 11# Options for emulators. These should only be used at config time, so 12# they are handled like options for static file systems 13# (see src/sys/conf/options), except for broken debugging options. 14NDISAPI opt_dontuse.h 15 16# x86_64 CPU options 17CPU_DISABLE_AVX opt_cpu.h 18HAMMER_CPU opt_cpu.h 19 20MAXCONS opt_syscons.h 21SC_ALT_MOUSE_IMAGE opt_syscons.h 22SC_BORDER_COLOR opt_syscons.h 23SC_DEBUG_LEVEL opt_syscons.h 24SC_DFLT_FONT opt_syscons.h 25SC_DISABLE_DDBKEY opt_syscons.h 26SC_DISABLE_REBOOT opt_syscons.h 27SC_HISTORY_SIZE opt_syscons.h 28SC_KERNEL_CONS_ATTR opt_syscons.h 29SC_KERNEL_CONS_REV_ATTR opt_syscons.h 30SC_MOUSE_CHAR opt_syscons.h 31SC_NO_CUTPASTE opt_syscons.h 32SC_NO_FONT_LOADING opt_syscons.h 33SC_NO_HISTORY opt_syscons.h 34SC_NO_SYSMOUSE opt_syscons.h 35SC_NORM_ATTR opt_syscons.h 36SC_NORM_REV_ATTR opt_syscons.h 37SC_PIXEL_MODE opt_syscons.h 38SC_TWOBUTTON_MOUSE opt_syscons.h 39 40VGA_DEBUG opt_vga.h 41VGA_KEEP_POWERON_MODE opt_vga.h 42VGA_NO_FONT_LOADING opt_vga.h 43VGA_NO_MODE_CHANGE opt_vga.h 44VGA_WIDTH90 opt_vga.h 45 46PSM_HOOKRESUME opt_psm.h 47PSM_RESETAFTERSUSPEND opt_psm.h 48PSM_DEBUG opt_psm.h 49 50ATKBD_DFLT_KEYMAP opt_atkbd.h 51 52KBD_DISABLE_KEYMAP_LOAD opt_kbd.h 53KBD_INSTALL_CDEV opt_kbd.h 54KBD_MAXRETRY opt_kbd.h 55KBD_MAXWAIT opt_kbd.h 56KBD_RESETDELAY opt_kbd.h 57KBDIO_DEBUG opt_kbd.h 58 59# EFI Runtime services support 60EFIRT opt_efirt.h 61