staload "lib/SATS/panic.sats" staload "lib/SATS/writer.sats" staload UN = "prelude/SATS/unsafe.sats" #define ATS_DYNLOADFLAG 0 %{$ inline void halt() { while (1){ __asm__ volatile ("cli ; hlt"); } } %} extern fun halt(): void = "mac#" implement panic_loc(loc,msg) = ( put_string "KERNEL PANIC:\n "; put_string loc; put_string "\n\n "; put_string msg; halt(); )