rusty-hermit
mirage
| rusty-hermit | mirage | |
|---|---|---|
| 11 | 32 | |
| 1,417 | 2,429 | |
| - | 0.4% | |
| 0.0 | 8.7 | |
| 8 months ago | 6 days ago | |
| Rust | OCaml | |
| Apache License 2.0 | ISC License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
rusty-hermit
-
Out of the loop: WASM for non-web projects
https://github.com/hermitcore/rusty-hermit is one such project for a mini VM in Rust.
- RustyHermit – A Rust-based, lightweight unikernel
- GitHub - hermitcore/rusty-hermit: RustyHermit - A Rust-based, lightweight unikernel
- RustyHermit - A Rust-based, lightweight unikernel
- Minikube now supports rootless podman driver for running Kubernetes
-
Stardust Oxide: I wrote a unikernel in Rust for my bachelors dissertation
Another active project built with Rust https://github.com/hermitcore/rusty-hermit
mirage
-
Gokrazy – Go Appliances
Interesting, and thanks.
I didn't know about those. I kind of thought you may have used MirageOS, which I had read about earlier. It is done in OCaml.
https://mirage.io/
- Mirage – A programming framework for building type-safe, modular systems
-
What's Zig got that C, Rust and Go don't have? [video]
Unix system programming in OCaml (2014)
https://ocaml.github.io/ocamlunix/
"MirageOS is a library operating system that constructs unikernels for secure, high-performance network applications across a variety of cloud computing and mobile platforms."
https://mirage.io/
-
PostgreSQL reconsiders its process-based model
That was/is part of the promise of the whole unikernel thing, no?
https://mirage.io/ or similar could then let you boot your database. That said, it's not really taken off from what I can tell, so I'm guessing there's more to it than that.
-
Writing an OS in Rust to run on RISC-V
MirageOS is not Rust, but in the ballpark!
https://mirage.io/
-
Container runtime as a static binary?
OCaml MirageOS? https://mirage.io/
- OCaml 5.0 Multicore is out
- Ask HN: Operating Systems built with functional languages?
-
Is there an operating systems that is a runtime of a programming language?
MirageOS is a runtime for OCaml to create unikernels. They describe themselves as "library operating system". Probably not quite what you were asking for, but I think it's quite interesting for certain use cases (e.g. running services as standalone unikernels in VMs or embedded devices instead of "traditional" programs on top of a general purpose OS).
What are some alternatives?
nanos - A kernel designed to run one and only one application in a virtualized environment
unikraft - A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.
cloud-hypervisor - A Virtual Machine Monitor for modern Cloud workloads. Features include CPU, memory and device hotplug, support for running Windows and Linux guests, device offload with vhost-user and a minimal compact footprint. Written in Rust with a strong focus on security.
oberon-riscv - Oberon RISC-V port, based on Samuel Falvo's RISC-V compiler and Peter de Wachter's Project Norebo. Part of an academic project to evaluate Project Oberon on RISC-V.
rust-raspberrypi-OS-tutorials - :books: Learn to write an embedded OS in Rust :crab:
Carp - A statically typed lisp, without a GC, for real-time applications.
vagga - Vagga is a containerization tool without daemons
linuxkit - A toolkit for building secure, portable and lean operating systems for containers
Mezzano - An operating system written in Common Lisp
kernel - A Rust-based, lightweight unikernel.
Lupine-Linux - Linux in Unikernel Clothing