Changeset 31fb9a0 in mainline for defaults/amd64

Timestamp:

2009-03-08T13:38:22Z (16 years ago)

Author:

Martin Decky <martin@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

0af8bcd

Parents:

ec944b1

Message:

add support for predefined configuration profiles (and subprofiles, configuration can be nested)

Location:

defaults/amd64

Files:

• Makefile.config (moved) (moved from contrib/default/amd64/Makefile.config ) (5 diffs)
• output (moved) (moved from contrib/default/amd64/output )

defaults/amd64/Makefile.config

@@ -2 +2 @@
 PLATFORM = amd64
 
-# CPU type
-MACHINE = opteron
-
 # Ramdisk format
-RDFMT = tmpfs
+RDFMT = fat
 
 # Compiler
@@ -14 +11 @@
 CONFIG_DEBUG = y
 
+# Deadlock detection support for spinlocks
+CONFIG_DEBUG_SPINLOCK = y
+
 # Support for SMP
 CONFIG_SMP = y
@@ -20 +20 @@
 CONFIG_HT = y
 
-# Simics BIOS AP boot fix
-CONFIG_SIMICS_FIX = y
-
 # Lazy FPU context switching
 CONFIG_FPU_LAZY = y
 
 # Support for userspace debuggers
-CONFIG_UDEBUG = n
+CONFIG_UDEBUG = y
 
 # Kernel console support
@@ -35 +32 @@
 CONFIG_LOG = n
 
-# Deadlock detection support for spinlocks
-CONFIG_DEBUG_SPINLOCK = y
-
-# Watchpoint on rewriting AS with zero
-CONFIG_DEBUG_AS_WATCHPOINT = y
-
-# Save all interrupt registers
-CONFIG_DEBUG_ALLREGS = y
-
 # 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
@@ -51 +54 @@
 
 # Framebuffer width
-CONFIG_VESA_WIDTH = 1024
+CONFIG_VESA_WIDTH = 800
 
 # Framebuffer height
-CONFIG_VESA_HEIGHT = 768
+CONFIG_VESA_HEIGHT = 600
 
 # Framebuffer depth
-CONFIG_VESA_BPP = 24
+CONFIG_VESA_BPP = 16
+
+# Keyboard layout
+KBD_LAYOUT = us_qwerty