Which Kernel are you Running?

General
1

Some light fun- are you running NOVA? Base-HW? SeL4? Something else?

2

Currently… Sculpt/NOVA on PC and Sculpt/base-hw on PinePhone :christmas_tree:

1 Like
3

On the µ-kernel topic (at least) I’m a go-with-the-flow type of guy, so Hai/Genode/NOVA since that’s what the Genode Labs team uses ^^. When/if they switch Sculpt to base-hw I’ll follow suit.

1 Like
4

Same here.

But this raises an interesting question for the Genode Labs crew: What is the current state of Sculpt on base-hw? I tried it a couple of years ago, and IIRC it basically worked, but was pretty sluggish. (I know it has been on the Roadmap.)

1 Like
5

@jschlatow published variants of Sculpt 24.10 on base-hw: Sculpt 24.10 impressions, compatibility - #14 by jschlatow So you may see it for yourself :wink:

2 Likes
6

In case someone is interested, for my FOSDEM talk “Celebrating kernel diversity with Genode”, I crafted a single Sculpt 24.10 USB demo image containing 5 kernels, NOVA, HW, NOVAe, seL4, Fiasco.OC.

3 Likes