Björn Töpel's starred repositories

OSX-KVM

Run macOS on QEMU/KVM. With OpenCore + Monterey + Ventura + Sonoma support now! Only commercial (paid) support is available now to avoid spammy issues. No Mac system is required.

Language:PythonStargazers:19192Issues:489Issues:0

hubris

A lightweight, memory-protected, message-passing kernel for deeply embedded systems.

Language:RustLicense:MPL-2.0Stargazers:2847Issues:47Issues:474

learn-fpga

Learning FPGA, yosys, nextpnr, and RISC-V

Language:C++License:BSD-3-ClauseStargazers:2413Issues:82Issues:74

corundum

Open source FPGA-based NIC and platform for in-network compute

Language:VerilogLicense:NOASSERTIONStargazers:1518Issues:86Issues:152

tamago

TamaGo - ARM/RISC-V bare metal Go

Language:GoLicense:BSD-3-ClauseStargazers:1280Issues:36Issues:24

riscv-dv

Random instruction generator for RISC-V processor verification

Language:PythonLicense:Apache-2.0Stargazers:966Issues:81Issues:344

ed25519-dalek

Fast and efficient ed25519 signing and verification in Rust.

Language:RustLicense:BSD-3-ClauseStargazers:668Issues:24Issues:135

black-parrot

A Linux-capable RISC-V multicore for and by the world

Language:SystemVerilogLicense:BSD-3-ClauseStargazers:548Issues:24Issues:407

humility

Debugger for Hubris

Language:RustLicense:MPL-2.0Stargazers:518Issues:27Issues:143

xous-core

The Xous microkernel

Language:RustLicense:Apache-2.0Stargazers:515Issues:23Issues:253

xdp-project

XDP project collaboration through a git-repo

dromajo

RISC-V RV64GC emulator designed for RTL co-simulation

Language:C++License:Apache-2.0Stargazers:202Issues:16Issues:28

TrellisBoard

Ultimate ECP5 development board

Language:ANTLRLicense:NOASSERTIONStargazers:99Issues:12Issues:9

nic-firmware

CoreNIC: a flexible SR-IOV SmartNIC firmware implementation supporting BPF and stateless offloads.

Language:AssemblyLicense:BSD-2-ClauseStargazers:90Issues:17Issues:1

skbtrace

Helper tool for generating and running BPFTrace scripts which trace and measure timings related to Linux Networking Stack, specifically SocKet Buffer contents

Language:GoLicense:MITStargazers:80Issues:9Issues:0
Language:VerilogLicense:Apache-2.0Stargazers:65Issues:15Issues:26

c910-llvm

平头哥玄铁C910的LLVM工具链支持,由PLCT实验室提供,非官方版本

Language:LLVMLicense:NOASSERTIONStargazers:56Issues:9Issues:2

easynic

EasyNIC: an easy-to-use host interface for network cards

linux

Linux kernel source tree

Language:CLicense:NOASSERTIONStargazers:15Issues:8Issues:0

kernelbuilder

My local dockerified scripts to do kernel builds. Many sharp edges.

Language:ShellStargazers:14Issues:1Issues:0

kvmtool

Native Linux KVM tool

Language:CLicense:GPL-2.0Stargazers:9Issues:4Issues:0
Language:RacketStargazers:9Issues:1Issues:0

bedrock-bootstrap

Bootstrapping RISC-V from the ground up!

Language:CLicense:NOASSERTIONStargazers:6Issues:2Issues:0

rvv-chacha-poly

RISC-V vector extension implementation of chacha20 and poly1305 crypto primitives.

Language:AssemblyLicense:Apache-2.0Stargazers:5Issues:1Issues:1

yetanothercore

Yet another RISC-V CPU core

Language:CLicense:MITStargazers:2Issues:4Issues:3

prs

Group administration repository for Tech: Platform Runtime Services 2022

License:CC-BY-4.0Stargazers:2Issues:5Issues:0

maldives

Toy interpreter for a toy language

Language:RustLicense:BSD-2-ClauseStargazers:1Issues:2Issues:0
Language:ShellStargazers:1Issues:2Issues:0