Robert Balas's repositories
riscv-isa-manual
RISC-V Instruction Set Manual
sel4_channel_bench
Complete channel bench setup for RISC-V on seL4.
trdb
RISC-V processor tracing tools and library
riscv-cbqri
This repo holds the work area and revisions of a QoS register interface for caches and memory controllers specification. The QoS register interface is a non-ISA specification that supports configuring resource allocations to applications and monitoring the resource usage by applications.
seL4
The seL4 microkernel
seL4_libs
No-assurance libraries for rapid-prototyping of seL4 apps.
seL4_tools
Basic tools for building seL4 projects
pdf.js
PDF Reader in JavaScript
emacs-dotfiles
My emacs dotfile, inspired by spacemacs.
cryptopals-challenge
Some solutions to the cryptopals challenge
blobby
Read and dump git object files (loose and packed)
embench-iot
The main Embench repository
verilator
Verilator open-source SystemVerilog simulator and lint system
verilator-exploration
Explore various verilator 5 features.
yosys-f4pga-plugins
Plugins for Yosys developed as part of the F4PGA project.
riscv-europe-summit-templates
RISC-V Summit Europe tempales
evil-collection
A set of keybindings for evil-mode
pulp_cluster
The multi-core cluster of a PULP system.
riscv-gnu-toolchain
riscv-gnu-toolchain with PULP specific patches
riscv-gcc
riscv-gcc with PULP specific patches
riscv-isa-sim
Spike, a RISC-V ISA Simulator
core-v-sw
Main Repo for the OpenHW Group Software Task Group
core-v-mcu
This is the CORE-V MCU project, hosting CORE-V's embedded-class cores.
circt
Circuit IR Compilers and Tools