Martin Kröning's repositories
interrupts
Cross-architecture utilities for temporarily disabling interrupts and signals.
libhermit-rs
libhermit-rs: A Rust-based library operting system
one-shot-mutex
One-shot locks that panic instead of (dead)locking on contention.
rust-vmm-container
Container with all dependencies required for running rust-vmm crates integration tests.
align-address
Functions for aligning addresses.
cargo-binutils
Cargo subcommands to invoke the LLVM tools shipped with the Rust toolchain
catalog
Unikraft Applications & Examples Catalog
codecov-action
GitHub Action that uploads coverage to Codecov :open_umbrella:
cricket
cricket is a virtualization solution for GPUs
free-list
A free-list-based page/frame allocator.
interrupt-mutex
A mutex for sharing data with interrupt handlers or signal handlers.
interrupt-ref-cell
A `RefCell` for sharing data with interrupt handlers or signal handlers on the same thread.
kraftkit
Build and use highly customized and ultra-lightweight unikernel VMs.
qemu-exit
Exit QEMU with user-defined code
runh
A CLI tool for spawning and running RustyHermit containers
rust-memchr
An implementation of memchr in Rust, with optional libc bindings.
rust-smallvec
"Small vector" optimization for Rust: store up to a small number of items on the stack
rusty-hermit
RustyHermit - A Rust-based, lightweight unikernel
serde_with
Custom de/serialization functions for Rust's serde using the with-annotation
spinning_top
A simple spinlock crate based on the abstractions provided by the `lock_api` crate.
typst
A new markup-based typesetting system that is powerful and easy to learn.
uhyve
A minimal hypervisor for RustyHermit
unikraft-rs-staticlib
Linking Rust programs against a Unikraft static library.
Voice
Minimalistic audiobook player
x86_64
Library to program x86_64 hardware.