The Hermit Operating System

All

80 repositories

kernel
Public
A Rust-based, lightweight unikernel.
rust kernel virtualization osdev operating-system rust-lang high-performance-computing cloud-computing operating-systems unikernels
Rust
•
Apache License 2.0
•87•1.2k•75•25•Updated Dec 23, 2024Dec 23, 2024
loader
Public
The Hermit bootloader.
Rust
•
Apache License 2.0
•22•73•6•3•Updated Dec 23, 2024Dec 23, 2024
uhyve
Public
A specialized hypervisor for Hermit.
hypervisor kvm unikernel hermit
Rust
•
Apache License 2.0
•29•259•45•14•Updated Dec 23, 2024Dec 23, 2024
runh
Public
A CLI tool for spawning and running Hermit containers.
Rust
•
Apache License 2.0
•5•7•1•6•Updated Dec 23, 2024Dec 23, 2024
hermit-rs
Public
Hermit for Rust.
rust virtualization osdev operating-system rust-lang unikernel high-performance-computing cloud-computing operating-systems
Rust
•
Apache License 2.0
•88•1.7k•32•4•Updated Dec 23, 2024Dec 23, 2024
containerd-runh-shim
Public
Rust
•
Apache License 2.0
•1•0•0•6•Updated Dec 23, 2024Dec 23, 2024
hermit-c
Public
Hermit for C
operating-system rust-lang unikernel
C
•
Apache License 2.0
•0•2•0•3•Updated Dec 19, 2024Dec 19, 2024
rust
Public
Empowering everyone to build reliable and efficient software.
Rust
•
Other
•13k•2•0•0•Updated Dec 13, 2024Dec 13, 2024
backtrace-rs
Public
Backtraces in Rust
Rust
•
Other
•251•0•0•0•Updated Dec 13, 2024Dec 13, 2024
hermit-rs-template
Public
An application template for Hermit for Rust.
Rust
•
BSD Zero Clause License
•10•31•2•0•Updated Dec 11, 2024Dec 11, 2024
rust-std-hermit
Public
Installable distribution artifacts of rust-std for hermit.
rust rust-std-lib
Shell
•
Apache License 2.0
•2•6•1•1•Updated Dec 11, 2024Dec 11, 2024
newlib
Public
C
•
GNU General Public License v2.0
•4•0•7•1•Updated Dec 5, 2024Dec 5, 2024
hermit-bench-output
Public
Interface for the hermit-bench utility
Rust
•
Apache License 2.0
•1•0•0•1•Updated Dec 2, 2024Dec 2, 2024
.github
Public
0•0•0•0•Updated Nov 28, 2024Nov 28, 2024
memory-addresses
Public
Crate for memory address types
Rust
•
Apache License 2.0
•0•2•3•0•Updated Nov 15, 2024Nov 15, 2024
rust-aarch64
Public
Rust library to use aarch64 specific functionality and registers.
Rust
•
Apache License 2.0
•5•5•2•0•Updated Nov 12, 2024Nov 12, 2024
hermit-entry
Public
Hermit's loading and entry API.
unikernel hermit rust
Rust
•
Apache License 2.0
•4•5•5•0•Updated Oct 28, 2024Oct 28, 2024
rftrace
Public
The Rust Function Tracer.
Rust
•
Apache License 2.0
•6•38•0•0•Updated Oct 11, 2024Oct 11, 2024
mio
Public
Metal IO library for Rust
Rust
•
MIT License
•742•0•0•0•Updated Sep 28, 2024Sep 28, 2024
hyper-util
Public
Common utilities used with hyper.
Rust
•
MIT License
•110•0•0•0•Updated Sep 17, 2024Sep 17, 2024
socket2
Public
Advanced configuration options for sockets.
Rust
•
Apache License 2.0
•231•0•0•0•Updated Sep 17, 2024Sep 17, 2024
tokio
Public
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
Rust
•
MIT License
•2.5k•0•0•0•Updated Sep 17, 2024Sep 17, 2024
github-action-benchmark
Public
GitHub Action to display benchmarking information
0•0•0•0•Updated Sep 16, 2024Sep 16, 2024
hermit-bench
Public
GitHub Action for benchmarking the Hermit Unikernel
Rust
•0•0•0•0•Updated Sep 16, 2024Sep 16, 2024
kata-containers
Public
Kata Containers is an open source project and community working to build a standard implementation of lightweight Virtual Machines (VMs) that feel and perform like containers, but provide the workload isolation and security advantages of VMs. https://katacontainers.io/
Rust
•
Apache License 2.0
•1.1k•0•0•0•Updated Sep 2, 2024Sep 2, 2024
libc
Public
Raw bindings to platform APIs for Rust
Rust
•
Apache License 2.0
•1.1k•1•0•0•Updated Aug 21, 2024Aug 21, 2024
hermit-gcc
Public
GCC cross-compiler for Hermit
Dockerfile
•
BSD 3-Clause "New" or "Revised" License
•7•2•0•0•Updated Aug 20, 2024Aug 20, 2024
gcc
Public
C
•
GNU General Public License v2.0
•4•2•1•0•Updated Aug 20, 2024Aug 20, 2024
rustix
Public
Safe Rust bindings to POSIX-ish APIs
Rust
•
Other
•166•0•0•0•Updated Jul 11, 2024Jul 11, 2024
hermit-playground
Public
A playground to build C/C++/Go/Fortran applications on top of RustyHermit
kernel virtualization operating-system high-performance-computing cloud-computing unikernels
C
•
Apache License 2.0
•13•32•6•0•Updated Jul 3, 2024Jul 3, 2024