I was curious as to whether this was proprietary or not, but code for some operating system components is available online: github.com/DBOS-project
Time will tell as to whether this ends up gaining momentum or not, right now it seems pretty niche… Cloud providers ultimately will need to show interest for this to go anywhere I think