mirage
xous-core
| mirage | xous-core | |
|---|---|---|
| 32 | 12 | |
| 2,429 | 508 | |
| 0.4% | 1.8% | |
| 8.7 | 9.9 | |
| 7 days ago | 4 days ago | |
| OCaml | Rust | |
| ISC License | Apache License 2.0 |
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.
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).
xous-core
- Rust 1.72 seems to optimize away security checks
-
Writing an OS in Rust to run on RISC-V
Xous, the OS that runs on the precursor, may be of interest to look at too:
https://github.com/betrusted-io/xous-core
It is written in Rust and is targeted for a RISC-V
-
Is there any reliable guide for creating an operating system in Rust?
In addition to phil-opp and redox, there's the Betrusted project's Xous kernel, which runs on a RISC-V core that runs on an FPGA. There's even an Xous Book.
- How can I call cargo commands from rust?
-
Another Vulnerability in the LPC55S69 ROM
You might be interested in Precursor and the Betrusted Platform.
https://www.crowdsupply.com/sutajio-kosagi/precursor
They are trying to have an hardware platform that can be inspected and it is based on an FPGA with a RISC-V Softcore.
Its by Bunnie, and he great talks about the choices and why he made them:
Keynote: Precursor - Trustable Open Hardware for Everyday Use - Bunnie Huang (https://www.youtube.com/watch?v=Fw5FEuGRrLE)
They are also doing their own Rust Message passing OS called Xous that might be of interest.
https://github.com/betrusted-io/xous-core
-
C Isn't A Programming Language Anymore - Faultlore
As for privacy and safety of people, https://github.com/betrusted-io/xous-core/issues/57 way past 1.0. Imagine that. Heh.
-
Kerla: Monolithic kernel in Rust, aiming for Linux ABI compatibility
There are more good efforts, the BeTrusted guys are working on Xous, its a microkernel for a phone like device called the Precurser.
https://github.com/betrusted-io/xous-core
As a embedded service processor OS for a big server rack, Oxide Computer is working on 'HubrisOS'. They seem to have not released it yet, but that will be open sourced.
https://github.com/oxidecomputer
Those are two efforts where I know real resources are going into.
- Xous: Secure Microkernel in Rust
- xous: Secure microkernel in Rust
What are some alternatives?
unikraft - A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.
pico-bootrom
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.
NoProto - Flexible, Fast & Compact Serialization with RPC
Carp - A statically typed lisp, without a GC, for real-time applications.
headcrab - A modern Rust debugging library 🦀
linuxkit - A toolkit for building secure, portable and lean operating systems for containers
carnet - A Tool for Sandboxing Cargo and Buildscripts
Mezzano - An operating system written in Common Lisp
osv - OSv, a new operating system for the cloud.
Lupine-Linux - Linux in Unikernel Clothing
kerla-demo - ssh://demo.kerla.dev