lschuermann

nur-packages

nix-litex

Mirror of https://git.sr.ht/~lschuermann/nix-litex. View https://hub.sr.ht/~lschuermann/nix-litex for more information and the respective mailing lists.

tock-litex

Companion repository to Tock on LiteX SoCs, containing the hardware build scripts, documentation and bitstreams

decode

DECODE - object DEpository and COntent DElivery service

bitorder

Library to read and write bits in lsb or msb order.

CompCert

The CompCert formally-verified C compiler

cos316-web

cos514-project-public

eggviz

elf2tab

Tool to create Tock Application Bundles from ELF files.

keystone

Keystone Enclave

libtock-c

Userland apps for Tock written in C and C++

libtock-rs

Rust userland library for Tock

libzetta-rs

Stable interface for programmatic administration of ZFS from Rust

litex

Build your hardware, easily!

litex-boards

LiteX boards files

litex-vexriscv-custom

Python module containing Verilog files for VexRiscv CPU (for use with LiteX). Fork, adding custom CPUs and providing prebuilt tarballs as releases.

lowrisc-crt

Compiler Repository Toolkit

miniond

Alternative implementation of Emulab client-side agents

nixpkgs

MIRROR OF https://web.git.currently.online/leons/nixpkgs.git - Fork of the Nix packages collection

opentitan

OpenTitan: Open source silicon root of trust

packetbuffer

princeton-sns-cluster

Princeton SNS Cluster Configuration

tock

PR source for the Tock embedded operating system

tock-hydra-expr

Hydra release.nix expressions for CI of {tock,libtock-c}'s shell.nix expressions

tock-mirrortest

tock-www

Tock OS website

tockloader

Tool for programming Tock onto hardware boards.

treadmill

VexRiscv

A FPGA friendly 32 bit RISC-V CPU implementation