Kensan

What’s the current state of Unikraft and Solo5? The last commit in the port repository is 2 years old. Does anybody¹ have experience with it or used it recently’ish?

https://github.com/unikraft/plat-solo5

#Solo5 #Unikernel #Unikraft #MirageOS

__
¹ Maybe @yomimono, @hannesm?

GitHub - unikraft/plat-solo5: Unikraft port of solo5, a sandboxed execution environment for unikernels

Unikraft port of solo5, a sandboxed execution environment for unikernels - GitHub - unikraft/plat-solo5: Unikraft port of solo5, a sandboxed execution environment for unikernels

GitHub
Jun 7, 2023 at 8:42pmIvory for iOS
Show threadyomimono, still on landJun 7, 2023
@Kensan @hannesm Sorry, no clue :(
Show threadKensanJun 7, 2023
@yomimono @hannesm Thanks, will keep looking (or prodding people :). I was under the (misguided) impression that you had worked on/with Unikraft at some point. Not sure where that got planted in my brain.
Show threadyomimono, still on landJun 7, 2023
@Kensan @hannesm I did work on it, but wasn't successful and I think none of that was used in the end. I haven't kept track of what's happened since 🤔
Show threadKensanJun 7, 2023
@yomimono @hannesm Ah, I see. Thanks for the additional context.
Show threadreynirJun 8, 2023
@Kensan @yomimono @hannesm I think maybe @haesbaert had been looking into it recently
Show threadreynirJun 8, 2023
@Kensan @yomimono @hannesm @haesbaert no wait sorry not porting solo5 but mirage maybe
Show threadKensanJun 8, 2023
@reynir @yomimono @hannesm @haesbaert Hm , I see. This gives me the impression, that the Solo5 platform for Unikraft is no longer really used…
Show threadhannesJun 8, 2023
@Kensan @reynir @yomimono @haesbaert that's my impression as well, though that doesn't mean it doesn't work ;) -- but may target an arcane solo5 (though there's only recently some work on 0.8 in order to support ocaml 5/ multicore/effects)
Show threadKensanJun 8, 2023
@hannesm @reynir @yomimono @haesbaert Ok, I was just trying to gauge the current state of Solo5 as a platform for Unikraft. It’s unfortunate, that it seems to have become dormant.
Show threadhannesJun 8, 2023
@Kensan I did not use it. I understand this tries solo5 -- unikraft -- unikernel; and there's some effort (initially by Lucas, now hopefully by Christiano) for unikraft -- mirageos (taking solo5 out of the chain).