kernel/main.dats


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

#include "kernel/kernel_prelude.hats"

staload "kernel/interrupts/idt.sats"

%{^
  void breakpoint(){ 
    __asm__("int3");
  }
%}

extern fun breakpoint() :void  = "mac#"

implement main0 () = (
  println!("Start");

  // Initialize interrupt table
  idt_init();

  // Throws breakpoint exception
  breakpoint();

  println!("End");
)