Changeset 7a67416 in mainline

Timestamp:

2016-08-29T12:04:38Z (8 years ago)

Author:

Martin Decky <martin@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

58563585, dc05a9a

Parents:

114d098

Message:

add main configuration infrastructure for RISC-V (riscv64 in HelenOS parlance)
does not build anything yet

File:

• HelenOS.config (modified) (9 diffs)

HelenOS.config

@@ -38 +38 @@
 @ "mips32" MIPS 32-bit
 @ "ppc32" PowerPC 32-bit
+@ "riscv64" RISC-V 64-bit
 @ "sparc32" SPARCv8 32-bit
 @ "sparc64" SPARCv9 64-bit
@@ -182 +183 @@
 
 % Kernel architecture
+@ "riscv64"
+! [PLATFORM=riscv64] KARCH (choice)
+
+% Kernel architecture
 @ "sparc32"
 ! [PLATFORM=sparc32] KARCH (choice)
@@ -229 +234 @@
 
 % User space architecture
+@ "riscv64"
+! [PLATFORM=riscv64] UARCH (choice)
+
+% User space architecture
 @ "sparc32"
 ! [PLATFORM=sparc32] UARCH (choice)
@@ -274 +283 @@
 @ "ppc64"
 ! [PLATFORM=ppc64] BARCH (choice)
+
+% Boot architecture
+@ "riscv64"
+! [PLATFORM=riscv64] BARCH (choice)
 
 % Boot architecture
@@ -316 +329 @@
 @ "gcc_helenos" GNU C Compiler (experimental HelenOS-specific cross-compiler)
 @ "gcc_native" GNU C Compiler (native)
-! [PLATFORM=sparc32] COMPILER (choice)
+! [PLATFORM=riscv64|PLATFORM=sparc32] COMPILER (choice)
 
 % Compiler
@@ -356 +369 @@
 
 % Hierarchical page tables support
-! [PLATFORM=abs32le|PLATFORM=ia32|PLATFORM=amd64|PLATFORM=arm32|PLATFORM=mips32|PLATFORM=ppc32|PLATFORM=sparc32] CONFIG_PAGE_PT (y)
+! [PLATFORM=abs32le|PLATFORM=ia32|PLATFORM=amd64|PLATFORM=arm32|PLATFORM=mips32|PLATFORM=ppc32|PLATFORM=riscv64|PLATFORM=sparc32] CONFIG_PAGE_PT (y)
 
 % Page hash table support
@@ -461 +474 @@
 @ "generic" Keyboard or serial line
 @ "none" No input device
-! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=mips32|PLATFORM=ppc32|PLATFORM=sparc64] CONFIG_HID_IN (choice)
+! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=mips32|PLATFORM=ppc32|PLATFORM=riscv64|PLATFORM=sparc64] CONFIG_HID_IN (choice)
 
 % Input device class
@@ -477 +490 @@
 @ "generic" Monitor or serial line
 @ "none" No output device
-! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=sparc64|PLATFORM=ppc32|(PLATFORM=ia64&MACHINE=i460GX)|(PLATFORM=mips32&(MACHINE=msim|MACHINE=bmalta|MACHINE=lmalta))] CONFIG_HID_OUT (choice)
+! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=sparc64|PLATFORM=ppc32|(PLATFORM=ia64&MACHINE=i460GX)|(PLATFORM=mips32&(MACHINE=msim|MACHINE=bmalta|MACHINE=lmalta))|PLATFORM=riscv64] CONFIG_HID_OUT (choice)
 
 % PC keyboard support
@@ -602 +615 @@
 % Dynamic linking support
 ! [PLATFORM=ia32] CONFIG_RTLD (n/y)
-! [PLATFORM=abs32le|PLATFORM=amd64|PLATFORM=arm32|PLATFORM=ia64|PLATFORM=mips32|PLATFORM=ppc32|PLATFORM=sparc64] CONFIG_RTLD (n)
+! [PLATFORM=abs32le|PLATFORM=amd64|PLATFORM=arm32|PLATFORM=ia64|PLATFORM=mips32|PLATFORM=ppc32|PLATFORM=riscv64|PLATFORM=sparc64] CONFIG_RTLD (n)
 
 % Build shared libraries