1PPC_PROBE_CHIPSET opt_ppc.h 2PPC_DEBUG opt_ppc.h 3MAXMEM 4AUTO_EOI_1 opt_auto_eoi.h 5AUTO_EOI_2 opt_auto_eoi.h 6CONSPEED opt_comconsole.h 7BROKEN_KEYBOARD_RESET opt_reset.h 8 9# x86_64 CPU options 10CPU_DISABLE_AVX opt_cpu.h 11HAMMER_CPU opt_cpu.h 12 13MAXCONS opt_syscons.h 14SC_ALT_MOUSE_IMAGE opt_syscons.h 15SC_BORDER_COLOR opt_syscons.h 16SC_DEBUG_LEVEL opt_syscons.h 17SC_DFLT_FONT opt_syscons.h 18SC_DISABLE_DDBKEY opt_syscons.h 19SC_DISABLE_REBOOT opt_syscons.h 20SC_HISTORY_SIZE opt_syscons.h 21SC_KERNEL_CONS_ATTR opt_syscons.h 22SC_KERNEL_CONS_REV_ATTR opt_syscons.h 23SC_MOUSE_CHAR opt_syscons.h 24SC_NO_CUTPASTE opt_syscons.h 25SC_NO_FONT_LOADING opt_syscons.h 26SC_NO_HISTORY opt_syscons.h 27SC_NO_SYSMOUSE opt_syscons.h 28SC_NORM_ATTR opt_syscons.h 29SC_NORM_REV_ATTR opt_syscons.h 30SC_PIXEL_MODE opt_syscons.h 31SC_TWOBUTTON_MOUSE opt_syscons.h 32 33VGA_DEBUG opt_vga.h 34VGA_KEEP_POWERON_MODE opt_vga.h 35VGA_NO_FONT_LOADING opt_vga.h 36VGA_NO_MODE_CHANGE opt_vga.h 37VGA_WIDTH90 opt_vga.h 38 39PSM_HOOKRESUME opt_psm.h 40PSM_RESETAFTERSUSPEND opt_psm.h 41PSM_DEBUG opt_psm.h 42 43ATKBD_DFLT_KEYMAP opt_atkbd.h 44 45KBD_DISABLE_KEYMAP_LOAD opt_kbd.h 46KBD_INSTALL_CDEV opt_kbd.h 47KBD_MAXRETRY opt_kbd.h 48KBD_MAXWAIT opt_kbd.h 49KBD_RESETDELAY opt_kbd.h 50KBDIO_DEBUG opt_kbd.h 51 52# EFI Runtime services support 53EFIRT opt_dontuse.h 54