bluewww

emacs-dotfiles

My emacs dotfile, inspired by spacemacs.

aehneln

A RISC-V rv64ima_zicsr_zifencei emulator.

riscv-gnu-toolchain

riscv-gnu-toolchain with PULP specific patches

sel4_channel_bench

Complete channel bench setup for RISC-V on seL4.

axi2apb

blobby

Read and dump git object files (loose and packed)

channel-bench

channel-bench-tools

circt

Circuit IR Compilers and Tools

core-v-mcu

This is the CORE-V MCU project, hosting CORE-V's embedded-class cores.

core-v-sw

Main Repo for the OpenHW Group Software Task Group

cryptopals-challenge

Some solutions to the cryptopals challenge

embench-iot

The main Embench repository

evil-collection

A set of keybindings for evil-mode

pdf.js

PDF Reader in JavaScript

pulp_cluster

The multi-core cluster of a PULP system.

regression_tests

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.

riscv-compliance

riscv-europe-summit-templates

RISC-V Summit Europe tempales

riscv-gcc

riscv-gcc with PULP specific patches

riscv-isa-manual

RISC-V Instruction Set Manual

riscv-isa-sim

Spike, a RISC-V ISA Simulator

seL4

The seL4 microkernel

seL4_libs

No-assurance libraries for rapid-prototyping of seL4 apps.

seL4_tools

Basic tools for building seL4 projects

trdb

RISC-V processor tracing tools and library

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.