See also https://github.com/direktiv/vorteil https://github.com/direktiv/vorteil The above also wrote a Uni kernel but it seems they abandoned that as was too

See also https://github.com/direktiv/vorteil 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