Subversion Repositories HelenOS

Compare Revisions

Ignore whitespace Rev 3806 → Rev 3807

/trunk/contrib/default/sparc64/output
0,0 → 1,0
image.iso
/trunk/contrib/default/sparc64/Makefile.config
0,0 → 1,62
# Platform
PLATFORM = sparc64
 
# CPU type
MACHINE = us
 
# Ramdisk format
RDFMT = tmpfs
 
# Compiler
COMPILER = gcc_cross
 
# Debug build
CONFIG_DEBUG = y
 
# Support for SMP
CONFIG_SMP = y
 
# Lazy FPU context switching
CONFIG_FPU_LAZY = y
 
# Use TSB
CONFIG_TSB = y
 
# Support for Z8530 serial port
CONFIG_Z8530 = y
 
# Support for NS16550 serial port
CONFIG_NS16550 = y
 
# Support for Serengeti console
CONFIG_SGCN = y
 
# Interrupt-driven driver for NS16550?
CONFIG_NS16550_INTERRUPT_DRIVEN = y
 
# Virtually indexed D-cache support
CONFIG_VIRT_IDX_DCACHE = y
 
# Support for userspace debuggers
CONFIG_UDEBUG = n
 
# Kernel console support
CONFIG_KCONSOLE = y
 
# Detailed kernel logging
CONFIG_LOG = n
 
# Deadlock detection support for spinlocks
CONFIG_DEBUG_SPINLOCK = y
 
# Compile kernel tests
CONFIG_TEST = y
 
# Start AP processors by the loader
CONFIG_SMP = y
 
# Preserve A.OUT header in isofs.b
CONFIG_AOUT_ISOFS_B = y
 
# External ramdisk
CONFIG_RD_EXTERNAL = n
/trunk/contrib/default/ia64/output
0,0 → 1,0
image.boot
/trunk/contrib/default/ia64/Makefile.config
0,0 → 1,47
# Platform
PLATFORM = ia64
 
# Machine type
MACHINE = i460GX
 
# Ramdisk format
RDFMT = tmpfs
 
# Compiler
COMPILER = gcc_cross
 
# Debug build
CONFIG_DEBUG = y
 
# Support for SMP
CONFIG_SMP = y
 
# Lazy FPU context switching
CONFIG_FPU_LAZY = y
 
# Use VHPT
CONFIG_VHPT = n
 
# Support for NS16550 serial port
CONFIG_NS16550 = y
 
# IOSapic on default address support
CONFIG_IOSAPIC = y
 
# Interrupt-driven driver for NS16550?
CONFIG_NS16550_INTERRUPT_DRIVEN = y
 
# Support for userspace debuggers
CONFIG_UDEBUG = n
 
# Kernel console support
CONFIG_KCONSOLE = y
 
# Detailed kernel logging
CONFIG_LOG = n
 
# Deadlock detection support for spinlocks
CONFIG_DEBUG_SPINLOCK = y
 
# Compile kernel tests
CONFIG_TEST = y
/trunk/contrib/default/arm32/output
0,0 → 1,0
image.boot
/trunk/contrib/default/arm32/Makefile.config
0,0 → 1,26
# Platform
PLATFORM = arm32
 
# Ramdisk format
RDFMT = tmpfs
 
# Compiler
COMPILER = gcc_cross
 
# Debug build
CONFIG_DEBUG = y
 
# Support for userspace debuggers
CONFIG_UDEBUG = n
 
# Kernel console support
CONFIG_KCONSOLE = y
 
# Detailed kernel logging
CONFIG_LOG = n
 
# Compile kernel tests
CONFIG_TEST = y
 
# Framebuffer support
CONFIG_FB = y
/trunk/contrib/default/ppc32/output
0,0 → 1,0
image.boot
/trunk/contrib/default/ppc32/Makefile.config
0,0 → 1,26
# Platform
PLATFORM = ppc32
 
# Ramdisk format
RDFMT = tmpfs
 
# Compiler
COMPILER = gcc_cross
 
# Debug build
CONFIG_DEBUG = y
 
# Support for userspace debuggers
CONFIG_UDEBUG = n
 
# Kernel console support
CONFIG_KCONSOLE = y
 
# Detailed kernel logging
CONFIG_LOG = n
 
# Compile kernel tests
CONFIG_TEST = y
 
# Use Block Address Translation by the loader
CONFIG_BAT = y
/trunk/contrib/default/ia32xen/output
0,0 → 1,0
image.iso
/trunk/contrib/default/ia32xen/Makefile.config
0,0 → 1,44
# Platform
PLATFORM = ia32xen
 
# CPU type
MACHINE = pentium4
 
# Ramdisk format
RDFMT = tmpfs
 
# Compiler
COMPILER = gcc_cross
 
# Debug build
CONFIG_DEBUG = 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 = n
 
# Kernel console support
CONFIG_KCONSOLE = y
 
# Detailed kernel logging
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
/trunk/contrib/default/ppc64/output
0,0 → 1,0
image.boot
/trunk/contrib/default/ppc64/Makefile.config
0,0 → 1,23
# Platform
PLATFORM = ppc64
 
# Ramdisk format
RDFMT = tmpfs
 
# Compiler
COMPILER = gcc_cross
 
# Debug build
CONFIG_DEBUG = y
 
# Support for userspace debuggers
CONFIG_UDEBUG = n
 
# Kernel console support
CONFIG_KCONSOLE = y
 
# Detailed kernel logging
CONFIG_LOG = n
 
# Compile kernel tests
CONFIG_TEST = y
/trunk/contrib/default/mips32/output
0,0 → 1,0
image.boot
/trunk/contrib/default/mips32/Makefile.config
0,0 → 1,35
# Platform
PLATFORM = mips32
 
# Machine type
MACHINE = lgxemul
 
# Ramdisk format
RDFMT = tmpfs
 
# Compiler
COMPILER = gcc_cross
 
# Debug build
CONFIG_DEBUG = y
 
# Lazy FPU context switching
CONFIG_FPU_LAZY = y
 
# Support for userspace debuggers
CONFIG_UDEBUG = n
 
# Kernel console support
CONFIG_KCONSOLE = y
 
# Detailed kernel logging
CONFIG_LOG = n
 
# Save all interrupt registers
CONFIG_DEBUG_ALLREGS = y
 
# Compile kernel tests
CONFIG_TEST = y
 
# Framebuffer support
CONFIG_FB = y
/trunk/contrib/default/ia32/output
0,0 → 1,0
image.iso
/trunk/contrib/default/ia32/Makefile.config
0,0 → 1,59
# Platform
PLATFORM = ia32
 
# CPU type
MACHINE = pentium4
 
# Ramdisk format
RDFMT = tmpfs
 
# Compiler
COMPILER = gcc_cross
 
# Debug build
CONFIG_DEBUG = y
 
# Support for SMP
CONFIG_SMP = y
 
# Improved support for hyperthreading
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
 
# Kernel console support
CONFIG_KCONSOLE = y
 
# Detailed kernel logging
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
 
# Framebuffer support
CONFIG_FB = y
 
# Framebuffer width
CONFIG_VESA_WIDTH = 1024
 
# Framebuffer height
CONFIG_VESA_HEIGHT = 768
 
# Framebuffer depth
CONFIG_VESA_BPP = 24