initialize the interrupt controller when executing bbone_init()
[helenos.git] / defaults / ppc32 / Makefile.config
blob5a9526e2ad2efa4845a05027d55f4b2f6bf82283
1 # Platform
2 PLATFORM = ppc32
4 # Ramdisk format
5 RDFMT = fat
7 # Compiler
8 COMPILER = gcc_cross
10 # Debug build
11 CONFIG_DEBUG = y
13 # Support for userspace debuggers
14 CONFIG_UDEBUG = y
16 # Kernel console support
17 CONFIG_KCONSOLE = y
19 # Kernel symbol information
20 CONFIG_SYMTAB = y
22 # Detailed kernel logging
23 CONFIG_LOG = n
25 # Kernel function tracing
26 CONFIG_TRACE = n
28 # Compile kernel tests
29 CONFIG_TEST = y
31 # Input device class
32 CONFIG_HID_IN = generic
34 # Output device class
35 CONFIG_HID_OUT = generic
37 # Framebuffer support
38 CONFIG_FB = y
40 # Load disk drivers on startup
41 CONFIG_START_BD = n
43 # Mount /data on startup
44 CONFIG_MOUNT_DATA = n
46 # OHCI root hub power switch, ganged is enough
47 OHCI_POWER_SWITCH = ganged