Using #mirageOS, obviously!

a mirage in marrakesh a little trip can go a long way

about time!
reflection on my journey to the #mirageos retreat this year.

A command line that displays a simple solo5 kerne output, which prints a bunch of debug text and then “Hello uxn!”. Full output: philip@rolery .132E ℓ ~/k/m/uxn-solo5 > ninja [1/1] solo5-hvt .ninja/main.hvt Solo5: Bindings version v0.9.0 Solo5: Memory map: 512 MB addressable: Solo5: reserved @ (0x0 - 0xfffff) Solo5: text @ (0x100000 - 0x108fff) Solo5: rodata @ (0x109000 - 0x10afff) Solo5: data @ (0x10b000 - 0x10ffff) Solo5: heap >= 0x110000 < stack < 0x20000000 Hello uxn! Solo5: solo5_exit(0) called

In other news, I got a very simple #uxn hello world running as a #solo5 unikernel, as part of the #mirageos retreat. Hello from Marrakesh :)

https://github.com/Profpatsch/uxn-solo5

but it seemed like fun.
when i have it running, i may transform this into a web service using #mirageOS.
meanwhile i am also switching to #linux as my primary OS.
fun times!

day 31: ok, so i decided to lay down the great "Real World Ocaml" book an get my hands "dirty" with writing some actual #ocaml and #mirageOS code!
so...wanted to install mirageOS locally. didn't work - a dependency of mirageOS failed to compile on my macOS (ARM arch.).

crazy news: i will be joining the #mirageOS retreat in marrakesh this year!

here is the catch: i have no clue about #ocaml or mirageOS currently.

i will spend the next couple of weeks learning as much ocaml as possible and develop a plan for how i want to spend the actual week of the retreat.

Also, I'm still enthusiastic and irrationally hopeful about #mirageos.

GitHub - moby/vpnkit: A toolkit for embedding VPN capabilities in your application A toolkit for embedding VPN capabilities in your application - moby/vpnkit

VPNKit is a reverse network stack that manages container traffic for Docker Desktop on macOS and Windows. With tens of millions of active users, it’s likely one of the most widely deployed—yet hidden—pieces of OCaml code in the wild.

👉 github.com/moby/vpnkit

#ocaml #docker #mirageOS

MirageOS and OCaml with Hannes Mehnert and Matthias Kirschner fsfe.org/news/podcast... #OCaml #MirageOS #Podcast

Speeding Elliptic Curve Cryptography by Team Robur blog.robur.coop/articles/spe... #OCaml #MirageOS #Security #Cryptography

14th MirageOS Hack Retreat April 22-28, 2024 Marrakesh, Morocco retreat.mirage.io #MirageOS #OCaml #Morocco

To take its use even further, you can directly build an OS whose sole role is to serve your generated site, as Romain C. presents in his article: blog.osau.re/articles/blo...

#ocaml #mirageOS

"The MirageOS4 release focuses on better integration with existing ecosystems. [...] We have an experimental bare-metal Raspberry-Pi 4 target, and made it easier to integrate #MirageOS with C and #Rust libraries."
#unikernel #SystemsProgramming