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/rust-toolchain-toml
GitHub Action for installing Installs a Rust toolchain from a toolchain file (rust-toolchain.toml)
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/align-address
Functions for aligning addresses.
mkroening/bitfield-struct-rs
Procedural macro for bitfields.
mkroening/catalog
Unikraft Applications & Examples Catalog
mkroening/codecov-action
GitHub Action that uploads coverage to Codecov :open_umbrella:
mkroening/fdt
Rust crate for Flattened Devicetree parsing
mkroening/fuser
Filesystem in Userspace (FUSE) for Rust
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/pci_types
Useful types for dealing with PCI
mkroening/qemu-exit
Exit QEMU with user-defined code
mkroening/rosenpass
Rosenpass is a post-quantum-secure VPN that uses WireGuard to transport the actual data.
mkroening/rust
Empowering everyone to build reliable and efficient software.
mkroening/rust-bindgen
Automatically generates Rust FFI bindings to C (and some C++) libraries.
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/uart_16550
Minimal support for uart_16550 serial output.
mkroening/uhyve
A minimal hypervisor for RustyHermit
mkroening/virtio-info
Prints information about available virtio devices.
mkroening/vm-fdt
mkroening/volatile
mkroening/x86_64
Library to program x86_64 hardware.