Add a 'wfi' instruction on the main loop

The actual work is done somewhere else, there is no need to constantly
run the main thread.

Signed-off-by: Miquel Sabaté Solà <mikisabate@gmail.com>

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");
+	}
 }