diff --git a/sys/mips/cheri/cheri.c b/sys/mips/cheri/cheri.c index 75a75e36b5ae..ee18296d70c3 100644 --- a/sys/mips/cheri/cheri.c +++ b/sys/mips/cheri/cheri.c @@ -127,7 +127,7 @@ cheri_init_capabilities(void * __capability kroot) ctemp = cheri_setaddress(kroot, CHERI_CAP_USER_DATA_BASE); ctemp = cheri_setbounds(ctemp, CHERI_CAP_USER_DATA_LENGTH); ctemp = cheri_andperm(ctemp, CHERI_CAP_USER_DATA_PERMS | - CHERI_CAP_USER_CODE_PERMS); + CHERI_CAP_USER_CODE_PERMS | CHERI_PERM_CHERIABI_VMMAP); userspace_root_cap = ctemp; ctemp = cheri_setaddress(kroot, CHERI_SEALCAP_KERNEL_BASE);