diff options
| -rw-r--r-- | kernel/main.c | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/kernel/main.c b/kernel/main.c index 9cdb61e..ec8fabd 100644 --- a/kernel/main.c +++ b/kernel/main.c @@ -32,6 +32,9 @@ __noreturn __kernel void start_kernel(void *dtb) seconds_elapsed = 0; setup_interrupts(); - for (;;) - ; + for (;;) { + // Put the machine on low power consumption since we are not doing + // anything fancy here. + asm volatile("wfi"); + } } |