[mepian]

At least one of the lead developers of Étoilé moved on to CHERI.

[GranPC]

For those wondering what CHERI is: https://cheriot.org/cheri/philosophy/isa/2025/11/19/cheri-or...