Security monitor for Keystone Enclave (mirror of riscv-pk). Will be deprecated when openSBI port is ready - View it on GitHub