scheduler: entrypoint "returns" int

sdk/core/scheduler/main.cc

diff --git a/sdk/core/scheduler/main.cc b/sdk/core/scheduler/main.cc
index 132103b..ae09922 100644
--- a/sdk/core/scheduler/main.cc
+++ b/sdk/core/scheduler/main.cc
@@ -193,7 +193,7 @@
 		return &(reinterpret_cast<Thread *>(threadSpaces))[threadId - 1];
 	}
 
-	[[cheri::interrupt_state(disabled)]] void __cheri_compartment("sched")
+	[[cheri::interrupt_state(disabled)]] int __cheri_compartment("sched")
 	  scheduler_entry(const ThreadLoaderInfo *info)
 	{
 		Debug::Invariant(Capability{info}.length() ==
@@ -215,6 +215,8 @@
 
 		InterruptController::master_init();
 		Timer::interrupt_setup();
+
+		return 0;
 	}
 
 	static void __dead2 sched_panic(size_t mcause, size_t mepc, size_t mtval)