tree 72f640eba61e6a84c2e111376f88125b86038b04
parent 6d49cadde09396915bec77186be50612a4914013
author David Chisnall <github@theravensnest.org> 1716800011 +0100
committer David Chisnall <github@theravensnest.org> 1716800048 +0100

Update the compartmentalisation exercise.

We don't (yet) build this in CI and it stopped working when the debug
code was refactored.