0,0 → 1,71 |
# 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 |