@@ -42,6 +42,8 @@ void kernel_main(void)
printf("offsetof(sbiret, error) = %x\n", offsetof(sbiret, error));
printf("offsetof(sbiret, value) = %x\n", offsetof(sbiret, value));
PANIC("booted!");
while(1) {
// wfi -> wait for interrupt
__asm__ __volatile__("wfi");
The note is not visible to the blocked user.