id love to see an alternative kernel that's compatible with linux honestly

@SRAZKVT I think Genode is?

@joepie91 not sure ? i'd need to look more closely, but at first glance, doesn't seem so

@SRAZKVT Genode is a bit impenetrable on first glance, and it's more a collection of tools than a single kernel, but from what I remember they have a distribution that uses some or other microkernel setup, that natively implements their capability security model, and then additionally has a Linux compatibility layer for compat with existing applications (but there the security is way less granular of course)

@SRAZKVT (It's been a while since I've looked into this in detail, there's an older talk somewhere that describes this setup)

@joepie91 @SRAZKVT freebsd also has support for running linux apps i suppose

and wsl1 wasn’t just a vm, but a re-implementation of the linux kernel user abi