[nextos]

Yes, which is quite sad both because of the amount of effort put into this and because there's nothing quite similar to migrate to. CopperheadOS was a bit unique.