RFC-15: Support CHERI/Morello in seL4#21

Open

lsf37 wants to merge 4 commits intomainfrom

0150-morello-support

Commits on Jun 14, 2024

import RFC-15
lsf37
committed

Commits on Aug 4, 2024

Merge branch 'main' into 0150-morello-support
lsf37
authored

Commits on Mar 5, 2025

RFC-15: s/morello/cheri

heshamelmatary
authored and
lsf37
committed
RFC-15: Add legacy code support requirement

heshamelmatary
authored and
lsf37
committed