… is pleasing.

As is the RT API. Passive servers! A seemingly viable and sensible approach to user-space scheduling!

Just a quick thumbs up for recent progress. :-)