That's interesting, and pretty neat what you can do with Cortex M mpus. Leases seem an interesting twist to regular message passing.