Do create kernel capabilities with user-defined permissions enabled;

userspace version of the same not yet enabled as this appears to
trigger a hardware bug.
This commit is contained in:
Robert N. M. Watson 2014-03-27 22:36:34 +00:00
parent f182ea66c3
commit 81b5ed65d7

View File

@ -92,7 +92,7 @@
CHERI_PERM_SEAL | CHERI_PERM_SETTYPE | CHERI_PERM_RESERVED1 | \
CHERI_PERM_ACCESS_EPCC | CHERI_PERM_ACCESS_KDC | \
CHERI_PERM_ACCESS_KCC | CHERI_PERM_ACCESS_KR1C | \
CHERI_PERM_ACCESS_KR2C)
CHERI_PERM_ACCESS_KR2C | CHERI_PERM_USER_PRIVS)
#define CHERI_PERM_USER \
(CHERI_PERM_NON_EPHEMERAL | CHERI_PERM_EXECUTE | \