Rev 4127 | 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
# Detailed kernel logging
CONFIG_LOG = n
# Compile kernel tests
CONFIG_TEST = y
# What is your input device?
CONFIG_HID_IN = keyboard
# What is your output device?
CONFIG_HID_OUT = monitor
# i8042 controller support
CONFIG_I8042 = y
# PC keyboard support
CONFIG_PC_KBD = y
# EGA support
CONFIG_EGA = y
# Framebuffer support
CONFIG_FB = y
# Framebuffer width
CONFIG_VESA_WIDTH = 800
# Framebuffer height
CONFIG_VESA_HEIGHT = 600
# Framebuffer depth
CONFIG_VESA_BPP = 16
# Keyboard layout
KBD_LAYOUT = us_qwerty