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