diff --git a/start.c b/start.c
index f14a3c6..2ae4a1c 100644
--- a/start.c
+++ b/start.c
@@ -2,9 +2,7 @@
 
 #define UART ((char *)0x10000000)
 
-void uart_putc(char c) {
-    *UART = c;
-}
+void uart_putc(char c) { *UART = c; }
 
 void uart_puts(const char *s) {
     while (*s) {
@@ -17,4 +15,5 @@ __attribute__((aligned(16))) char stack0[4096 * NCPU];
 
 void start() {
     uart_puts("Hello Neptune!\n");
+    while (1);
 }