Meet Mollymawk, our web UI for orchestrating #MirageOS unikernels, funded by NLnet @NGIZero https://blog.robur.coop/articles/mollymawk-first-milestone.html #OCaml #unikernel
til #mirageos unikernel can have muen separation kernel as a target
Is there such a #unikernel written in #rust ?
#Ocaml
https://github.com/RyanGibb/hillingar/blob/fc15f4d8f8795d726439590272b65414a4c3dbaf/src/mirage.nix#L120
cc @hannesm
Next #MirageOS retreat May 13th-20th in Marrakesh. Sign up and spread the word https://retreat.mirageos.org
Happy to see you there :) If you've and questions, don't hesitate to ask.
On our blog @dinosaure wrote about "Git, Carton and emails" https://blog.robur.coop/articles/2025-01-07-carton-and-cachet.html which is part of our PTT funding proposal at @NGIZero / @nlnet -- great work to see how pack files can be used for a mail archive #OCaml #MirageOS
For those who want to sponsor our work (#MirageOS #OCaml), and for whom a wire transfer is not the right thing, you can now sponsor us (robur.coop) via GitHub sponsors, just a click away 
https://github.com/sponsors/robur-coop/
If you're interested how we use money 
, please go and read our article on funding https://blog.robur.coop/articles/finances.html (this doesn't clearly say that we use most of our money to pay us something for a living).
@catsalad @Viss @foone That's one case where unikernels like #MirageOS are really tweaking my interest.
Basically picture a flock of tiny Xen VMs working together, each of which is compiled with only the types of access it needs. Don't need a network? Then there is no network interface, no drivers. Ditto filesystem, etc.
https://mirageos.org/
Some news from our https://robur.coop cooperative :tada:, @reynir did a release of GPTar with some insights about `bsdtar`: https://blog.robur.coop/articles/gptar-update.html. One my side, I revived our SMTP stack and started some experimentations about mailing-lists: https://blog.robur.coop/articles/2024-10-29-ptt.html #OCaml #MirageOS
Pleased to announce our latest project DNSvizor https://blog.robur.coop/articles/dnsvizor01.html funded by #NGI0_entrust #nlnet @NGIZero @nlnet #MirageOS #OCaml #DNS #DHCP #unikernel
We just published our funding structure and detailed income since the beginning of robur -- https://blog.robur.coop/articles/finances.html #cooperative #mirageos #ocaml #money #transparency -- and why we're doing what we're doing. :)
Amazing! @reynir wrote an article about his discoveries of two CVE in OpenVPN while re-implementing the same protocol -- TL;DR: it's worth to spend time and money on re-developing network & security protocols. Read it at https://blog.robur.coop/articles/2024-08-21-OpenVPN-and-MirageVPN.html
Heads up: there's a #OCaml conference in Berlin in September. It is free of charge. You have to register https://fun-ocaml.com/ (registration: https://tickets.fun-ocaml.com/fun-ocaml/2024/)
There are lots of nice talks happening. I'll also talk about #MirageOS and plan to have a hands-on session on that topic :)
So, please drop by if interested. I'm happy to say hi to you :)
We wrote about recent mirage-crypto-ec improvements at https://blog.robur.coop/articles/speeding-ec-string.html #MirageOS #OCaml #EC #cryptography #elliptic_curve #programming #performance
There'll be a #MirageOS retreat in late April - https://retreat.mirage.io
Sign up early :) And yes, you're welcome to join (no #OCaml or #MirageOS expertise required).
On the website above there's a list of earlier retreats together with trip reports and blog articles. It is all about "delicious food, interesting discussions, and eventually develop some code". #unikernel
MirageOS: Designing a more resilient networking stack With µTCP by Virgile Robles https://tarides.com/blog/2024-01-24-mirageos-designing-a-more-resilient-networking-stack-with-tcp/ #networking #MirageOS #OCaml @tarides_
We have exciting #OCaml news: https://blog.robur.coop/articles/miragevpn.html -- the MirageVPN (an OpenVPN [tm] implementation) is resurrected, and we're making nice progress.
We host https://blog.robur.coop (a #MirageOS unipi unikernel - https://github.com/robur-coop/unipi) using YOCaml for the generation (https://github.com/xhtmlboi/yocaml) and tlstunnel for reverse TLS proxy (https://github.com/robur-coop/tlstunnel). Deployment was done within less than 15 minutes, using our #reproducible_builds infrastructure https://builds.robur.coop
Enjoy reading :D
Beginning of May this year I was in Morocco for the 12th #MirageOS hack retreat. There I wrote a #Mirage unikernel in #OCaml that acts as a chat application accessed using ssh. I put an instance up on the internet:
ssh -i path/to/mykey_ed25519 myusername@chat.reyn.ir
Note that quitting is not yet implemented (so use ~.), and make sure you use either RSA or ED25519 keys (else the connection hangs - a known bug).
I wrote a blog post with more details:
https://reyn.ir/posts/2023-05-17-banawa-chat.html
New episode from our Software Freedom Podcast!
Listen to a deeply interesting conversation with 
