Pinned Repositories
hermit-sync
Synchronization primitives for kernels.
kernel
A Rust-based, lightweight unikernel.
rftrace
The Rust Function Tracer.
altarplanner
An easy to use application to create good altar server schedules.
async-stm32f1xx
Abstractions for asynchronous programming on the STM32F1xx family of microcontrollers.
count-unsafe
Recursively count unsafe Rust code in a given path.
edu-sync
A command line application for synchronizing the contents of Moodle instances to your computer.
generic_once_cell
A bring-your-own-mutex version of once_cell.
interrupts
Cross-architecture utilities for temporarily disabling interrupts and signals.
take-static
Static items that provide mutable access only once.
mkroening's Repositories
mkroening/edu-sync
A command line application for synchronizing the contents of Moodle instances to your computer.
mkroening/interrupts
Cross-architecture utilities for temporarily disabling interrupts and signals.
mkroening/free-list
A free-list-based page/frame allocator.
mkroening/libhermit-rs
libhermit-rs: A Rust-based library operting system
mkroening/one-shot-mutex
One-shot locks that panic instead of (dead)locking on contention.
mkroening/rust-oem-cp
Rust library that handles OEM code pages (e.g. CP{437,737,850}) for single byte character sets
mkroening/rust-toolchain-toml
GitHub Action for installing Installs a Rust toolchain from a toolchain file (rust-toolchain.toml)
mkroening/unikraft-rs-staticlib
Linking Rust programs against a Unikraft static library.
mkroening/align-address
Functions for aligning addresses.
mkroening/bitfield-struct-rs
Procedural macro for bitfields.
mkroening/cargo-binutils
Cargo subcommands to invoke the LLVM tools shipped with the Rust toolchain
mkroening/catalog
Unikraft Applications & Examples Catalog
mkroening/codecov-action
GitHub Action that uploads coverage to Codecov :open_umbrella:
mkroening/cricket
cricket is a virtualization solution for GPUs
mkroening/hermit-toolchain
Scripts to create HermitCore's toolchain
mkroening/homepage
mkroening/interrupt-mutex
A mutex for sharing data with interrupt handlers or signal handlers.
mkroening/interrupt-ref-cell
A `RefCell` for sharing data with interrupt handlers or signal handlers on the same thread.
mkroening/kraftkit
Build and use highly customized and ultra-lightweight unikernel VMs.
mkroening/pci_types
Useful types for dealing with PCI
mkroening/qemu-exit
Exit QEMU with user-defined code
mkroening/runh
A CLI tool for spawning and running RustyHermit containers
mkroening/rust-memchr
An implementation of memchr in Rust, with optional libc bindings.
mkroening/rusty-hermit
RustyHermit - A Rust-based, lightweight unikernel
mkroening/serde_with
Custom de/serialization functions for Rust's serde using the with-annotation
mkroening/typst
A new markup-based typesetting system that is powerful and easy to learn.
mkroening/uhyve
A minimal hypervisor for RustyHermit
mkroening/vm-fdt
mkroening/volatile
mkroening/x86_64
Library to program x86_64 hardware.