Re: A unikernel for building unikernels

[Nick Betteridge <lists.nick.betteridge@xxxxxxxxx>]

Hi Thomas,

Thanks for the mirage-ci reference - I'm not really looking for a ci 
pipeline, just a compile harness where I can take a small unikernel 
repo, of which I'm confident on the code integrity/soundness, and build 
the unikernel for the platform it's to be deployed to. Having this as a 
unikernel would really complete the mirage environment.
Always happy to look at, and give feedback on, unikernel platforms - 
providing the license is right :)
Best,

Nick

On 12/16/24 12:55, Thomas Gazagnaire wrote:
> ,Hi Nick,
>
> Not totallu sure if that’s what you are looking for but did you check 
> https://github.com/ocurrent/mirage-ci?
>
> This is used to build and deploy mirageos.org. It’s based on ocurrent/obduilder 
> (with a sandbox mechanism similar to Docker)
>
> We (at Tarides) are also working on a prototype platform to build and deploy 
> unikernels — should be available next year. Let me know if you want to be an 
> early tester.
>
> Best,
> Thomas
>
> > On 16 Dec 2024, at 11:42, Nick Betteridge <lists.nick.betteridge@xxxxxxxxx> 
> > wrote:
> >
> > Dear All,
> >
> > Does anyone know of any unikernels that can build unikernels for the local 
> > platform, using something like ocaml-monorepo and, perhaps, irmin?
> >
> > Hannes has suggested looking at something like ocamlnat [1], which would be one 
> > way of tackling the issue, but I was wondering if anyone had considered or 
> > implemented any other approaches to solve this  - I would really love to move 
> > away from using the relatively bulky Docker infrastructure and associated 
> > maintenance.
> >
> > Best wishes,
> >
> > Nick
> >
> > [1] https://github.com/bmeurer/ocamlnat