Changes in HelenOS.config [50fda24:a074b4f] in mainline

File:

• HelenOS.config (modified) (6 diffs)

HelenOS.config

@@ -31 +31 @@
 
 % Platform
-@ "abs32le" abstract 32-bit little endian
 @ "amd64" AMD64/Intel EM64T (PC)
 @ "arm32" ARM 32-bit
@@ -92 +91 @@
 
 % Kernel architecture
-@ "abs32le"
-! [PLATFORM=abs32le] KARCH (choice)
-
-% Kernel architecture
 @ "amd64"
 ! [PLATFORM=amd64] KARCH (choice)
@@ -135 +130 @@
 
 % User space architecture
-@ "abs32le"
-! [PLATFORM=abs32le] UARCH (choice)
-
-% User space architecture
 @ "amd64"
 ! [PLATFORM=amd64] UARCH (choice)
@@ -176 +167 @@
 
 ## Mapping between platform and boot architecture
-
-% Boot architecture
-@ "abs32le"
-! [PLATFORM=abs32le] BARCH (choice)
 
 % Boot architecture
@@ -256 +243 @@
 ! [PLATFORM=arm32|PLATFORM=mips32|PLATFORM=ppc32] COMPILER (choice)
 
-% Compiler
-@ "gcc_native" GNU C Compiler (native)
-@ "clang" Clang
-! [PLATFORM=abs32le] COMPILER (choice)
-
 
 ## Kernel configuration
@@ -277 +259 @@
 
 % Hierarchical page tables support
-! [PLATFORM=abs32le|PLATFORM=ia32|PLATFORM=amd64|PLATFORM=arm32|PLATFORM=mips32|PLATFORM=ppc32] CONFIG_PAGE_PT (y)
+! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=arm32|PLATFORM=mips32|PLATFORM=ppc32] CONFIG_PAGE_PT (y)
 
 % Page hash table support