freebsd-src/sys/conf/options.ia64
Marcel Moolenaar cfe9466fcc Remove PAGE_SIZE_4K, PAGE_SIZE_8K and PAGE_SIZE_16K and replace
them with PAGE_SHIFT. A single option is better to LINT than
multiple mutual exclusive ones.
2003-08-23 03:22:41 +00:00

33 lines
632 B
Text

# $FreeBSD$
# Options specific to the ia64 platform kernels
ITANIUM opt_global.h
ITANIUM2 opt_global.h
IA32 opt_global.h
PAGE_SHIFT opt_global.h
UWX_TRACE_ENABLE opt_global.h
PPC_PROBE_CHIPSET opt_ppc.h
PPC_DEBUG opt_ppc.h
VGA_ALT_SEQACCESS opt_vga.h
VGA_DEBUG opt_vga.h
VGA_NO_FONT_LOADING opt_vga.h
VGA_NO_MODE_CHANGE opt_vga.h
VGA_SLOW_IOACCESS opt_vga.h
VGA_WIDTH90 opt_vga.h
PSM_HOOKRESUME opt_psm.h
PSM_RESETAFTERSUSPEND opt_psm.h
PSM_DEBUG opt_psm.h
# Atkbd options
ATKBD_DFLT_KEYMAP opt_atkbd.h
# SKI emulator options
SKI opt_ski.h
SKI_ROOT_FILESYSTEM opt_ski.h
SSC_NSECT opt_ski.h