> Da NOVA nicht mehr entwickelt wird, wird Sculpt OS im Laufe der Zeit auf den Mikrokernel seL4 umschwenken.

NOVA wird durchaus weiter entwickelt und wird in Sculpt TC verwendet, siehe Post vor ein paar Tagen https://twitter.com/CyberusTech/status/1004697510609342466