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.
diff --git a/sdk/include/interrupt.h b/sdk/include/interrupt.h
index b72af41..bcdd8e6 100644
--- a/sdk/include/interrupt.h
+++ b/sdk/include/interrupt.h
@@ -72,7 +72,7 @@
*/
#define DECLARE_INTERRUPT_CAPABILITY(name) \
DECLARE_STATIC_SEALED_VALUE( \
- struct InterruptCapabilityState, sched, InterruptKey, name);
+ struct InterruptCapabilityState, scheduler, InterruptKey, name);
/**
* Helper macro to define an interrupt capability. The three arguments after
