I was interested to see the Google news re. KataOS which I suspect confirms that my sort of requirement / entry point is someway out.
I was also reading about ARM Morello / CHERI work. Although I appreciate this is taking a different, perhaps flawed, path of some new hardware memory protection.
Appreciate any feedback you can humour me with.