Mirage – A programming framework for building type-safe, modular systems

Re:Mirage – A programming framework for building type-safe, ... by samuell on Friday November 24, 2023 @05:38AM (#38402505)

And on that note, I just found this list of UniKernel projects:

http://unikernel.org/projects/

I have especially had hopes for the UniK [1] project, as it was/is written in Go AFAIK. I see now it incorporates work from the Mirage project as well. Not sure what is the status of this project anymore though.

[1] https://github.com/solo-io/unik

[ Parent | on HN ]

Re:Mirage – A programming framework for building type-safe, ... by mk89 on Friday November 24, 2023 @08:45AM (#38403884)

I didn't read your message, so I just clicked and I found that great nice project from Solo.io (the company behind Gloo Edge, etc.). Freaking awesome... I thought:

> Not sure what is the status of this project anymore

what the hell! :D last commit was 4 years ago!

[ Parent | on HN ]

Re:Mirage – A programming framework for building type-safe, ... by samuell on Friday November 24, 2023 @04:06PM (#38408347)

Hah, yea, should have checked that :D ... but yea, I stopped hearing news from solo.io / UniK some time ago, so it makes sense.

[ Parent | on HN ]

Re:Mirage – A programming framework for building type-safe, ... by eyberg on Friday November 24, 2023 @10:32AM (#38404949)

Unik was just a build tool that utilized other projects like Rump, Mirage, IncludeOS, etc. It's now dead since Solo pivoted a very long time ago to service mesh/api gateways.

The GoRump port they use was from us and then we realized we needed to code our own from the ground up for many reasons so we wrote https://nanos.org (runs as a go unikernel in GCP).

[ Parent | on HN ]