azonenberg / antikernel
The Antikernel operating system project
☆112Updated 4 years ago
Related projects: ⓘ
- Resource-efficient 16-bit CPU architecture for FPGA control plane☆92Updated 9 months ago
- Open source software for chip reverse engineering.☆168Updated 3 years ago
- The BERI and CHERI processor and hardware platform☆45Updated 7 years ago
- a simple C-to-Verilog compiler☆47Updated 7 years ago
- Tools and Examples for IcoBoard☆79Updated 3 years ago
- An experimental System-on-Chip with a custom compiler toolchain.☆59Updated 4 years ago
- Open FPGA tools☆257Updated 4 years ago
- Moxie-compatible core repository☆45Updated 8 months ago
- RISC-V XBitmanip Extension☆27Updated 5 years ago
- Glacial - microcoded RISC-V core designed for low FPGA resource utilization☆82Updated 4 years ago
- ☆87Updated 5 years ago
- FPGA assembler! Create bare-metal FPGA designs without Verilog or VHDL (Not to self: use Lisp next time)☆53Updated 3 years ago
- An executable specification of the RISCV ISA in L3.☆41Updated 5 years ago
- ☆57Updated 11 months ago
- ☆42Updated 3 years ago
- Locus site for Public Review of Several RISC-V ISA Formal Specs☆73Updated 4 years ago
- MRSIC32 ISA documentation and development☆89Updated last year
- The J1 CPU☆161Updated 3 years ago
- Betrusted main SoC design☆135Updated 9 months ago
- Betrusted embedded controller (UP5K)☆44Updated 8 months ago
- A Qt5 based free VLSI development tool☆30Updated 6 years ago
- Documenting Lattice's 28nm FPGA parts☆143Updated 8 months ago
- public domain tools for FPGAs☆324Updated 7 years ago
- A bit-serial CPU written in VHDL, with a simulator written in C.☆116Updated 2 weeks ago
- A (Py)thon (D)SL for (G)enerating (In)struction set simulators.☆165Updated 6 years ago
- A collection of little open source FPGA hobby projects☆45Updated 4 years ago
- 妖刀夢渡☆55Updated 5 years ago
- Oldland CPU - a 32-bit RISC FPGA CPU including RTL + tools☆119Updated 8 years ago
- The original high performance and small footprint system-on-chip based on Migen™☆305Updated 4 months ago
- Untethered (stand-alone) FPGA implementation of the lowRISC SoC☆54Updated 4 years ago