This would seem to have some similarities with Capability Hardware Enhanced RISC Instructions (CHERI). The project has matured to the point of a complete FreeBSD stack with nearly all packages building. ARM are going to release the experimental Morello system later this year.