Rev 4127 | Rev 4240 | Go to most recent revision | Blame | Compare with Previous | Last modification | View Log | Download | RSS feed
# Platform
PLATFORM = ia32
# CPU type
PROCESSOR = pentium4
# Ramdisk format
RDFMT = fat
# Compiler
COMPILER = gcc_cross
# Debug build
CONFIG_DEBUG = y
# Deadlock detection support for spinlocks
CONFIG_DEBUG_SPINLOCK = y
# ACPI support
CONFIG_ACPI = y
# Support for SMP
CONFIG_SMP = y
# Improved support for hyperthreading
CONFIG_HT = y
# Lazy FPU context switching
CONFIG_FPU_LAZY = y
# Support for userspace debuggers
CONFIG_UDEBUG = y
# Kernel console support
CONFIG_KCONSOLE = y
# Kernel symbol information
CONFIG_SYMTAB = y
# Detailed kernel logging
CONFIG_LOG = n
# Compile kernel tests
CONFIG_TEST = y
# Input device class
CONFIG_HID_IN = generic
# Output device class
CONFIG_HID_OUT = generic
# PC keyboard support
CONFIG_PC_KBD = y
# EGA support
CONFIG_EGA = y
# Framebuffer support
CONFIG_FB = y
# Default framebuffer mode
CONFIG_VESA_MODE = 800x600
# Default framebuffer depth
CONFIG_VESA_BPP = 16
# Keyboard layout
KBD_LAYOUT = us_qwerty