Implementation of Tagged Memory security policies into Rocket Core - View it on GitHub