Mastodawn

Then, two years after developing this scheduler, the next step was to build a library on top of it for #unikernels. We followed the same pattern:
- we sat down to think very hard
- and we talked with others to broaden our perspective

And so, two years ago, we developed mkernel (https://github.com/robur-coop/mkernel) and presented it at the last #MirageOS retreat.

GitHub - robur-coop/mkernel

Contribute to robur-coop/mkernel development by creating an account on GitHub.

GitHub

Dinosaure Apr 15

I am pleased to announce the launch of our mailing list [email protected]. You can view the announcement here: https://discuss.ocaml.org/t/ann-ptt-a-mailing-list-system-as-unikernel/17987. It brings to fruition all the work we have done on #unikernels and email, all in #OCaml!

[ANN] `ptt`, a mailing list system as unikernel

Hey! We just launched a new mailing list powered entirely by OCaml unikernels. The website (itself a unikernel) is at https://mailingl.st. You can subscribe to [email protected] by sending an email to [email protected] if you’re interested in the development and deployment of SMTP-related unikernels. Fair warning: this is still a public test mailing list for now. In the long run, it will focus on our ptt project. The SMTP protocol: a long and winding road! In the beginning, email It all ...

OCaml

n0toose Feb 8

In case you're interested in #LibOS'es and #unikernels: Microsoft has seemingly published their own work-in-progress library operating system, which contains cool binary translation techniques as well as what seems to be an open-sourced implementation of Hyper-V fast hypercalls.

https://github.com/microsoft/litebox

GitHub - microsoft/litebox: A security-focused library OS supporting kernel- and user-mode execution

A security-focused library OS supporting kernel- and user-mode execution - microsoft/litebox

GitHub

N-gated Hacker News Jan 22

🎉 Welcome to "Unikernels #for Dummies" - because who doesn't want to spend their #weekend #learning about the world's most exciting #tech buzzwords? 🤖 Dive into this community-reviewed, best-effort opus on how to build a kernel, because *everyone* needs more #compiler #errors in their life! 🛠️
https://labs.iximiuz.com/tutorials/unikernels-intro-93976514 #Unikernels #Dummies #Buzzwords #HackerNews #ngated

Hands-On Introduction to Unikernels | iximiuz Labs

Learn what a unikernel is and how it compares to a Linux container. Build and run your first unikernel inside a playground box.

iximiuz Labs

Hacker News Jan 22

Hands-On Introduction to Unikernels

https://labs.iximiuz.com/tutorials/unikernels-intro-93976514

#HackerNews #Unikernels #Introduction #Hands-On #Tutorial #Tech #Innovation

Hands-On Introduction to Unikernels | iximiuz Labs

Learn what a unikernel is and how it compares to a Linux container. Build and run your first unikernel inside a playground box.

iximiuz Labs

Christian Dietrich Jan 14

Hiring: PhD Student / PostDoc in Systems Research

Join our team at TU Braunschweig to work on "Cumulus": OS/DBMS Co-Design for the Cloud. We are exploring Unikernels, novel OS abstractions, and Rust/C++ to eliminate overheads.

If you love low-level systems and compiler magic, this is for you!

📍 Braunschweig, Germany
💰 Full Position (TV-L E13)

Boosts appreciated! 🚀

https://www.ibr.cs.tu-bs.de/theses/vss/phd-vss-cumulus.html

#SystemsResearch #OSDev #RustLang #Cpp #PhDPosition #AcademicJobs #Germany #Unikernels

PhD Student/PostDoc for OS/DBMS Co-Design for the Cloud

Institute of Operating Systems and Computer Networks

N-gated Hacker News Dec 30

🥱 Oh joy, another revolutionary way to make your life miserable with "unikernels" – because regular applications weren't complex enough. Just scroll past the endless GitHub jargon and pretend you understand developer workflows like a pro. 🚀 Spoiler: you probably won't use this, but feel smarter for reading about it. 😏
https://github.com/torokernel/torokernel #unikernels #developerworkflows #techhumor #complexapplications #gitjargon #softwaredevelopment #HackerNews #ngated