bjoto

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:Python20249 4970

hubris

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

Language:RustMPL-2.02965 51 495

learn-fpga

Learning FPGA, yosys, nextpnr, and RISC-V

Language:C++BSD-3-Clause2528 84 74

cranelift

Cranelift code generator

2488 93 379

corundum

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

Language:VerilogNOASSERTION1656 88 165

tamago

TamaGo - ARM/RISC-V bare metal Go

Language:GoBSD-3-Clause1343 36 24

riscv-dv

Random instruction generator for RISC-V processor verification

Language:PythonApache-2.01007 82 347

ed25519-dalek

Fast and efficient ed25519 signing and verification in Rust.

Language:RustBSD-3-Clause681 25 140

black-parrot

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

Language:SystemVerilogBSD-3-Clause599 24 411

xous-core

The Xous microkernel

Language:RustApache-2.0530 24 260

humility

Debugger for Hubris

Language:RustMPL-2.0527 31 146

dromajo

RISC-V RV64GC emulator designed for RTL co-simulation

Language:C++Apache-2.0210 16 28

gprofiler-performance-studio

The local version of the backend and UI for the gProfiler agent, featuring advanced flamegraph analysis tools. For the also free cloud version, please see https://profiler.granulate.io

Language:JavaScriptApache-2.0171 13 4

TrellisBoard

Ultimate ECP5 development board

Language:ANTLRNOASSERTION101 11 9

vmtest

Helps run tests in virtual machines

Language:RustApache-2.095 8 30

nic-firmware

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

Language:AssemblyBSD-2-Clause91 17 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:GoMIT83 90