I wonder if this kind of architecture would be fun to build an L4 microkernel based system with.

Context switching and message passing (synchronous anyway) are the same thing when you consider how rendezvous works.

BLWP instructions seem like this was “meant to be”.