linuxkit
mirage
Our great sponsors
linuxkit | mirage | |
---|---|---|
14 | 32 | |
8,133 | 2,423 | |
0.6% | 0.8% | |
9.2 | 8.7 | |
1 day ago | 8 days ago | |
Go | 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.
linuxkit
-
Gokrazy – Go Appliances
Another project that aims to deliver this is Linuxkit (https://github.com/linuxkit/linuxkit). All the components they ship are written in memory safe languages (usually Go) and run as containers under containerd. You can build a custom image very easily, fully defined as a YAML file.
- How to connect to a docker container service when it's running on a mac?
-
An overview of single-purpose Linux distributions
docker-the-company maintained https://github.com/linuxkit/linuxkit when I worked there. I have no idea who maintains it now, but it looks like it is still active (presumably still docker-the-company, since their adopters list [1] lists docker desktop).
[1]: https://github.com/linuxkit/linuxkit/blob/master/ADOPTERS.md
-
Create a minimalist OS using Docker Containers and Hashicorp Packer
LF-Edge EVE project leverages Linuxkit to create custom OSs for Edge Devices which in turn leverages Containers as Lego Blocks
-
RootFS Tooling
LinuxKit - Docker
-
Unpopular opinion: I was promised lightweight containers but I got yet another VM
Behind the scenes Docker Desktop for Mac spawns a linuxkit VM with a bit of extra stuff like NFS to enable mounting Mac paths into containers. In the Docker Desktop settings you'll find the current resource assignment for that VM. That is pretty much reserved for docker so that it does not have to compete with MacOS processes for available resources.
- Open source components of Docker for Mac
-
What happened to the nice Ansible cloud (provisioning) listing?
That said... you might want to check out linuxkit
-
Ask HN: How are you using unikernels?
The definition of what a unikernel is needs to be narrowed down, a lot of these projects in the space (not all the ones listed above) have material differences that are not clear:
- some run only one language
- some require recompilation
- some essentially swap out libraries, others do something closer to dropping your already mostly static binary in a minimal disk image
- some build pid1 processes, others VMs images
Anyway, here are some additional entries in the space:
- https://ssrg-vt.github.io/hermitux/
- https://github.com/linuxkit/linuxkit (more embedded/minimal VM than unikernel)
- https://nabla-containers.github.io/ (runs on Solo5)
I am going through using Linuxkit to build AMIs for cloud providers now. I wouldn’t necessarily class linuxkit as a universal project because it doesn’t have the hallmark blurring of user and kernel space or kernel-as-a-library but you can customize the kernel so it’s an adjacent idea, and I think it’s the one most likely to be in actual use at non-hyperscalers.
-
Unikraft: Fast, Specialized Unikernels the Easy Way
I believe there is growing interest in providing leaner, "trimmed" runtimes for services deployed to the cloud. Today, this is seen largely by specializing the Linux kernel for, for example, container services[0] or in general[1], as much as that is possible (the paper above covers this problem in greater detail). But, Unikernels in themselves are not yet widely adopted. This is the space Unikraft is aiming to enter, providing the ultimate level of specialization for a target application.
It's clear that bigger players, such as Red Hat[2] are interested in the topic of unikernels, and that cloud providers are preparing for this future too [3].
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.
- 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."
-
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!
-
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.
Carp - A statically typed lisp, without a GC, for real-time applications.
lxd - Powerful system container and virtual machine manager [Moved to: https://github.com/canonical/lxd]
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.
kata-containers - 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/
Mezzano - An operating system written in Common Lisp
firecracker-container
tracing - Application level tracing for Rust.
kubevirt - Kubernetes Virtualization API and runtime in order to define and manage virtual machines.
Lupine-Linux - Linux in Unikernel Clothing