tree a90446731067f977f746a465b0d85897acfee3e7
parent 596b091be4da929766631d852127ebe90038539a
author Robert Norton-Wright <robert.norton@scisemi.com> 1736507921 +0000
committer Robert Norton <1412774+rmn30@users.noreply.github.com> 1736785540 +0000

Fix scheduler compartment name used in DECLARE_INTERRUPT_CAPABILITY.

This should have been included in #403 but seems to have been dropped due to some git shenanigans. It doesn't actually make any difference because the compartment name is not used by DECLARE_STATIC_SEALED_VALUE, but it might in future.