Comment by rwmj

There's zero chance CHERI will go anywhere, I wouldn't worry about it.