Replace the old IRQ dispatcher and IPC notifier with new implementation.
[helenos.git] / HelenOS.config
blob3945983a552d6300e09fe98f77cab4afec5bf0b8
1 ## General configuration directives
3 # Platform
4 @ "amd64" AMD64/Intel EM64T (PC)
5 @ "ia32" Intel IA-32 (PC)
6 @ "ia64" Intel IA-64 (Ski)
7 @ "mips32msim" MIPS 32-bit (MSIM)
8 @ "mips32sim" MIPS 32-bit (Simics)
9 @ "mips32gbe" MIPS 32-bit (GXEmul big endian)
10 @ "mips32gle" MIPS 32-bit (GXEmul little endian)
11 @ "mips32sgi" MIPS 32-bit (Sgi Indy)
12 @ "ppc32" PowerPC 32-bit (iMac G4)
13 @ "ppc64" PowerPC 64-bit (iMac G5)
14 @ "sparc64" Sun UltraSPARC 64-bit
15 @ "xen32" Xen 32-bit (PC)
16 ! PLATFORM (choice)
18 # Compiler
19 @ "cross" Cross-compiler
20 @ "native" Native
21 ! COMPILER (choice)
23 # Debug build
24 ! CONFIG_DEBUG (y/n)