Stefan Wallentowitz's repositories
fusesoc-templates-demo
Demo files for FuseSoC templates
lowrisc-chip
The root repo for lowRISC project and FPGA demos.
lowrisc-nexys4
FPGA demo for Digilent NEXYS 4 board
barista-socs
Barista SoCs
boost.m4
M4 macros to use Boost with the autotools
build
Makefiles to use OP-TEE on various platforms
debug-mechanism-comparison
Comparison of 2 proposed debug mechanisms.
fusesoc-docker
Just a set of Dockerfiles and tools for FuseSoC
l4linux
L4Linux
linux
OpenRisc Spinoff of Linux
lk
LK embedded kernel
pulpino
An open-source microcontroller system based on RISC-V
riscv-debug-spec
Working Draft of the RISC-V Debug Specification Standard
rtems-source-builder
Build tools and packages from source.
sampleproject
A sample project that exists for PyPUG's "Tutorial on Packaging and Distributing Projects"
sel4-client-os
Simple Client OS for testing seL4 tee
sel4-tee-os
Google Summer Of Code 2016 project for lowRISC organization . building a trusted execution environment on top of seL4.
sel4-tee-os-sample-app
sample app for sel4-tee-os