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():<!ntm> void = "mac#"

implement panic_loc(loc,msg) = $effmask_all(
  put_string "KERNEL PANIC:\n   ";
  put_string loc;
  put_string "\n\n    ";
  put_string msg;
  halt();
)