openrisc / llvm-or1k
LLVM backend for OpenRISC 1000
☆25Updated 6 years ago
Related projects: ⓘ
- The BERI and CHERI processor and hardware platform☆45Updated 7 years ago
- An executable specification of the RISCV ISA in L3.☆41Updated 5 years ago
- Videocore Backend for llvm☆21Updated 9 years ago
- Intermediate Representation Of Hardware Abstraction (LLVM-ish for HLS)☆35Updated 3 years ago
- RISC-V Instruction Set Metadata☆38Updated 5 years ago
- RISC-V port of LLVM Linker☆24Updated 6 years ago
- 64-bit MISC Architecture CPU☆10Updated 7 years ago
- Moxie-compatible core repository☆45Updated 8 months ago
- A low-level intermediate representation for hardware description languages☆24Updated 4 years ago
- NOVA userland☆47Updated 10 years ago
- L3 based MIPS specification and emulator☆15Updated 3 years ago
- Consistency checker for memory subsystem traces☆11Updated 7 years ago
- Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model☆70Updated 3 weeks ago
- DragonEgg has been migrated to GCC 8 and LLVM 6 but also able to work for GCC 4.8 and LLVM 3.3☆18Updated 5 years ago
- Tutorial tour of the RISC-V ISA Spec (expressed in SAIL ISA spec language)☆35Updated 3 years ago
- Microbenchmarks for Aarch64 (Cortex A53)☆12Updated last year
- xv6 porting to GAIA architecture☆46Updated 9 years ago
- Work towards a "golden model" of the RISC-V calling convention(s)☆10Updated 6 years ago
- RISC-V Frontend Server☆62Updated 5 years ago
- Fork of LLVM adding CHERI support☆46Updated last week
- ☆16Updated last year
- ☆55Updated this week
- ABC: System for Sequential Logic Synthesis and Formal Verification☆26Updated last week
- ☆27Updated 5 years ago
- RISC-V port of GNU's libc☆70Updated 3 years ago
- QEMU with support for CHERI☆52Updated 2 weeks ago
- A linker script generator for SiFive's Freedom platform☆32Updated 2 years ago
- RISC-V instruction set CPUs in HardCaml☆15Updated 8 years ago
- RISC-V Specific Device Tree Documentation☆40Updated 2 months ago
- FreeBSD src tree☆18Updated 3 years ago