@dysfun Implementing a wall-clock subsystem with pluggable clock sources for CHERIoT RTOS so... maybe. Last time I implemented green threads, it was more fun than this.
Steal FreeBSD's timecounters.
Your "embedded device" is 10 times faster than the i386/i486 I developed timecounters on :-)
