Subversion Repositories HelenOS

Compare Revisions

Ignore whitespace Rev 4057 → Rev 4058

/trunk/defaults/sparc64/output
0,0 → 1,0
image.iso
/trunk/defaults/ia64/output
0,0 → 1,0
image.boot
/trunk/defaults/ia64/Makefile.config
0,0 → 1,38
# Platform
PLATFORM = ia64
 
# Ramdisk format
RDFMT = fat
 
# Compiler
COMPILER = gcc_cross
 
# Debug build
CONFIG_DEBUG = y
 
# Deadlock detection support for spinlocks
CONFIG_DEBUG_SPINLOCK = y
 
# Support for SMP
CONFIG_SMP = y
 
# Lazy FPU context switching
CONFIG_FPU_LAZY = y
 
# Use VHPT
CONFIG_VHPT = 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
 
# Keyboard layout
KBD_LAYOUT = us_qwerty
/trunk/defaults/ia64/i460GX/Makefile.config
0,0 → 1,8
# Machine type
MACHINE = i460GX
 
# Input device class
CONFIG_HID_IN = keyboard
 
# Output device class
CONFIG_HID_OUT = monitor
/trunk/defaults/ia64/ski/Makefile.config
0,0 → 1,2
# Machine type
MACHINE = ski
/trunk/defaults/arm32/output
0,0 → 1,0
image.boot
/trunk/defaults/arm32/Makefile.config
0,0 → 1,35
# Platform
PLATFORM = arm32
 
# Ramdisk format
RDFMT = fat
 
# Compiler
COMPILER = gcc_cross
 
# Debug build
CONFIG_DEBUG = 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
 
# Framebuffer support
CONFIG_FB = y
 
# Keyboard layout
KBD_LAYOUT = us_qwerty
/trunk/defaults/ppc32/output
0,0 → 1,0
image.boot
/trunk/defaults/ppc32/Makefile.config
0,0 → 1,38
# Platform
PLATFORM = ppc32
 
# Ramdisk format
RDFMT = fat
 
# Compiler
COMPILER = gcc_cross
 
# Debug build
CONFIG_DEBUG = 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
 
# Input device class
CONFIG_HID_IN = keyboard
 
# Output device class
CONFIG_HID_OUT = monitor
 
# Framebuffer support
CONFIG_FB = y
 
# Use Block Address Translation by the loader
CONFIG_BAT = y
 
# Keyboard layout
KBD_LAYOUT = us_qwerty
/trunk/defaults/amd64/output
0,0 → 1,0
image.iso
/trunk/defaults/amd64/Makefile.config
0,0 → 1,65
# Platform
PLATFORM = amd64
 
# Ramdisk format
RDFMT = fat
 
# Compiler
COMPILER = gcc_cross
 
# Debug build
CONFIG_DEBUG = y
 
# Deadlock detection support for spinlocks
CONFIG_DEBUG_SPINLOCK = 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
/trunk/defaults/mips32/output
0,0 → 1,0
image.boot
/trunk/defaults/mips32/GXemul/Makefile.config
0,0 → 1,8
# Machine type
MACHINE = lgxemul
 
# Input device class
CONFIG_HID_IN = keyboard
 
# Output device class
CONFIG_HID_OUT = monitor
/trunk/defaults/mips32/Makefile.config
0,0 → 1,32
# Platform
PLATFORM = mips32
 
# Ramdisk format
RDFMT = fat
 
# Compiler
COMPILER = gcc_cross
 
# Debug build
CONFIG_DEBUG = y
 
# Deadlock detection support for spinlocks
CONFIG_DEBUG_SPINLOCK = y
 
# Support for SMP
CONFIG_SMP = 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
 
# Keyboard layout
KBD_LAYOUT = us_qwerty
/trunk/defaults/mips32/msim/Makefile.config
0,0 → 1,2
# Machine type
MACHINE = msim
/trunk/defaults/ia32/output
0,0 → 1,0
image.iso
/trunk/defaults/ia32/Makefile.config
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