1 files changed, 7 insertions, 1 deletions

diff --git a/src/kernel.c b/src/kernel.c
index f1150be..a9a2d11 100644
--- a/src/kernel.c
+++ b/src/kernel.c
@@ -2,6 +2,12 @@
 #include <raspi.h>
 #include <uart.h>
 
+static void halt() {
+  while (1) {
+    asm volatile("wfi"); // Wait for interrupt. Core enters low-power state.
+  }
+}
+
 void main() {
   const int raspi = raspi_init();
   mmio_init(raspi);
@@ -9,6 +15,6 @@ void main() {
   
   uart_print("Hello world!\n");
   
-  while (1);
+  halt();
 }