Changes in HelenOS.config [15b592b:50fda24] in mainline

File:

• HelenOS.config (modified) (9 diffs)

HelenOS.config

@@ -77 +77 @@
 @ "us" UltraSPARC I-II subarchitecture
 @ "us3" UltraSPARC III-IV subarchitecture
-@ "sun4v" Niagara (sun4v)
 ! [PLATFORM=sparc64&MACHINE=generic] PROCESSOR (choice)
 
@@ -258 +257 @@
 
 % Compiler
-@ "gcc_cross" GNU C Compiler (cross-compiler)
 @ "gcc_native" GNU C Compiler (native)
 @ "clang" Clang
@@ -264 +262 @@
 
 
-## Cross-compiler target for abstract architecture
-
-% Cross-compiler target
-@ "arm32" ARM 32-bit
-@ "ia32" Intel IA-32
-@ "mips32" MIPS 32-bit
-! [PLATFORM=abs32le&COMPILER=gcc_cross] CROSS_TARGET (choice)
-
-
 ## Kernel configuration
 
@@ -294 +283 @@
 
 % Software integer division support
-! [PLATFORM=abs32le|PLATFORM=ia32|PLATFORM=arm32|PLATFORM=ia64|PLATFORM=mips32|PLATFORM=ppc32] CONFIG_SOFTINT (y)
+! [PLATFORM=ia32|PLATFORM=arm32|PLATFORM=ia64|PLATFORM=mips32|PLATFORM=ppc32] CONFIG_SOFTINT (y)
 
 % ASID support
@@ -321 +310 @@
 
 % Support for SMP
-! [(PLATFORM=ia32&PROCESSOR!=athlon_xp)|PLATFORM=amd64|PLATFORM=sparc64|PLATFORM=ia64|(PLATFORM=mips32&MACHINE=msim)|PLATFORM=abs32le] CONFIG_SMP (y/n)
+! [(PLATFORM=ia32&PROCESSOR!=athlon_xp)|PLATFORM=amd64|PLATFORM=sparc64|PLATFORM=ia64|(PLATFORM=mips32&MACHINE=msim)] CONFIG_SMP (y/n)
 
 % Debug build
@@ -343 +332 @@
 % Virtually indexed D-cache support
 ! [PLATFORM=sparc64] CONFIG_VIRT_IDX_DCACHE (y/n)
-
-% Simics SMP Hack
-! [PROCESSOR=sun4v&CONFIG_SMP=y] CONFIG_SIMICS_SMP_HACK (n/y)
 
 % Support for userspace debuggers
@@ -459 +445 @@
 
 % Serial line input module
-! [CONFIG_DSRLNIN=y|(PLATFORM=ia64&MACHINE=i460GX&CONFIG_NS16550=y)|(PLATFORM=ia64&MACHINE=ski)|(PLATFORM=sparc64&MACHINE=serengeti&CONFIG_SGCN_KBD=y)|(PLATFORM=sparc64&PROCESSOR=sun4v)] CONFIG_SRLN (y)
+! [CONFIG_DSRLNIN=y|(PLATFORM=ia64&MACHINE=i460GX&CONFIG_NS16550=y)|(PLATFORM=ia64&MACHINE=ski)|(PLATFORM=sparc64&MACHINE=serengeti&CONFIG_SGCN_KBD=y)] CONFIG_SRLN (y)
 
 % EGA support
@@ -510 +496 @@
 ! [PLATFORM=sparc64&MACHINE=generic] CONFIG_AOUT_ISOFS_B (y)
 
+% External RAM disk
+! [PLATFORM=sparc64] CONFIG_RD_EXTERNAL (y/n)
+
 % Load disk drivers on startup
 ! CONFIG_START_BD (n/y)
@@ -516 +505 @@
 ! [CONFIG_START_BD=y] CONFIG_MOUNT_DATA (n/y)
 
-% Write core files
-! CONFIG_WRITE_CORE_FILES (n/y)
-
-% Bundle netif/nil network layer
-! CONFIG_NETIF_NIL_BUNDLE (n/y)
-
-% Strip binaries
-! CONFIG_STRIP_BINARIES (n/y)
-
-% Optimize for size
-! CONFIG_OPTIMIZE_FOR_SIZE (n/y)
-
-% Barebone build with essential binaries only 
-! CONFIG_BAREBONE (n/y)
-
+% Verbose task dumps
+! CONFIG_VERBOSE_DUMPS (n/y)