Changeset 7a67416 in mainline


Ignore:
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:
1 edited

Legend:

Unmodified
Added
Removed
  • HelenOS.config

    r114d098 r7a67416  
    3838@ "mips32" MIPS 32-bit
    3939@ "ppc32" PowerPC 32-bit
     40@ "riscv64" RISC-V 64-bit
    4041@ "sparc32" SPARCv8 32-bit
    4142@ "sparc64" SPARCv9 64-bit
     
    182183
    183184% Kernel architecture
     185@ "riscv64"
     186! [PLATFORM=riscv64] KARCH (choice)
     187
     188% Kernel architecture
    184189@ "sparc32"
    185190! [PLATFORM=sparc32] KARCH (choice)
     
    229234
    230235% User space architecture
     236@ "riscv64"
     237! [PLATFORM=riscv64] UARCH (choice)
     238
     239% User space architecture
    231240@ "sparc32"
    232241! [PLATFORM=sparc32] UARCH (choice)
     
    274283@ "ppc64"
    275284! [PLATFORM=ppc64] BARCH (choice)
     285
     286% Boot architecture
     287@ "riscv64"
     288! [PLATFORM=riscv64] BARCH (choice)
    276289
    277290% Boot architecture
     
    316329@ "gcc_helenos" GNU C Compiler (experimental HelenOS-specific cross-compiler)
    317330@ "gcc_native" GNU C Compiler (native)
    318 ! [PLATFORM=sparc32] COMPILER (choice)
     331! [PLATFORM=riscv64|PLATFORM=sparc32] COMPILER (choice)
    319332
    320333% Compiler
     
    356369
    357370% Hierarchical page tables support
    358 ! [PLATFORM=abs32le|PLATFORM=ia32|PLATFORM=amd64|PLATFORM=arm32|PLATFORM=mips32|PLATFORM=ppc32|PLATFORM=sparc32] CONFIG_PAGE_PT (y)
     371! [PLATFORM=abs32le|PLATFORM=ia32|PLATFORM=amd64|PLATFORM=arm32|PLATFORM=mips32|PLATFORM=ppc32|PLATFORM=riscv64|PLATFORM=sparc32] CONFIG_PAGE_PT (y)
    359372
    360373% Page hash table support
     
    461474@ "generic" Keyboard or serial line
    462475@ "none" No input device
    463 ! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=mips32|PLATFORM=ppc32|PLATFORM=sparc64] CONFIG_HID_IN (choice)
     476! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=mips32|PLATFORM=ppc32|PLATFORM=riscv64|PLATFORM=sparc64] CONFIG_HID_IN (choice)
    464477
    465478% Input device class
     
    477490@ "generic" Monitor or serial line
    478491@ "none" No output device
    479 ! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=sparc64|PLATFORM=ppc32|(PLATFORM=ia64&MACHINE=i460GX)|(PLATFORM=mips32&(MACHINE=msim|MACHINE=bmalta|MACHINE=lmalta))] CONFIG_HID_OUT (choice)
     492! [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)
    480493
    481494% PC keyboard support
     
    602615% Dynamic linking support
    603616! [PLATFORM=ia32] CONFIG_RTLD (n/y)
    604 ! [PLATFORM=abs32le|PLATFORM=amd64|PLATFORM=arm32|PLATFORM=ia64|PLATFORM=mips32|PLATFORM=ppc32|PLATFORM=sparc64] CONFIG_RTLD (n)
     617! [PLATFORM=abs32le|PLATFORM=amd64|PLATFORM=arm32|PLATFORM=ia64|PLATFORM=mips32|PLATFORM=ppc32|PLATFORM=riscv64|PLATFORM=sparc64] CONFIG_RTLD (n)
    605618
    606619% Build shared libraries
Note: See TracChangeset for help on using the changeset viewer.