hermit-rs

Yes, you can have docker container images that only contain the actual binary you want to run. But if you are using a VM, you don't even need the Linux kernel: some systems let you compiler your program to run directly on the hypervisor. See eg https://github.com/hermit-os/hermit-rs or https://mirage.io/

The rough Rust of this is https://github.com/hermit-os/hermit-rs Though last I looked it wasn't nearly as mature as MirageOS.

This seems to match the definition of a unikernel. Here is another one in Rust: https://github.com/hermit-os/hermit-rs

> New C/C++/asm based hobby kernels are started (and abandoned) everyday on /r/osdev. Nowhere near as many in Rust by a wide margin. Instead the Rust community seems to have placed all their bets on an "outside in" rewrite of the Linux kernel in Rust. While I think this may well be great for Linux in the long term, its a little dissapointing that there is not more momentum for "from scratch" projects yet. Even Linux started as "as hobby, not big and professional like GNU". Which leads to my next point ... I think you may just be not looking where the rust people are posting. All you're really saying is that they aren't on /r/osdev, and frankly I don't find that surprising. Here are some of the more flagship projects The biggest rust kernel/os project I'm aware of is https://www.redox-os.org/ It's a bit out of date by now, but this is an e

From what I gather a unikernel is what you are searching for. Many exists - https://github.com/unikraft/unikraft - https://github.com/hermitcore/rusty-hermit are the one that comes to my quick search.

A compelling introduction and explanation of Unikraft took place at USENIX LISA '18: https://www.youtube.com/watch?v=9PRKBZHArhI I don't know if I'm a huge fan of the website that was posted here (the quick start doesn't actually show a python application, which is a bit odd), but Unikraft occupies an interesting spot in the unikernel landscape, it's very promising. Here are all some interesting languages/programs you can use it with: - https://github.com/unikraft/app-helloworld-go - https://github.com/unikraft/app-micropython - https://github.com/unikraft/app-nginx - https://github.com/unikraft/app-ruby - https://github.com/unikraft/app-lua - https://github.com/unikraft/app-redis - https://github.com/unikraft/app-python3 If you're interested in Unikernels, some more interesting/close-to-production-ready entries in the space worth watchin