See also https://github.com/direktiv/vorteil

The above also wrote a Uni kernel but it seems they abandoned that as was too large a problem and just link and package now