1 files changed, 29 insertions, 0 deletions
diff --git a/kernel/interrupts/idt.sats b/kernel/interrupts/idt.sats
new file mode 100644
index 0000000..d8391aa
--- /dev/null
+++ b/kernel/interrupts/idt.sats
@@ -0,0 +1,29 @@
+
+#define 
+TRAP_GATE_FLAGS 0x8F // p=1, dpl=0b00, type=0b1111
+
+typedef idt_entry_t = @{
+  isr_low = uint16,   // The lower 16 bits of the ISR's address
+  kernel_cs = uint16, // The GDT segment selector that the CPU will load into CS before calling the ISR
+  ist = uint8,        // The IST in the TSS that the CPU will load into RSP; set to zero for now 
+  attributes = uint8, // Type and attributes; see the IDT page
+  isr_mid = uint16,   // The higher 16 bits of the lower 32 bits of the ISR's address
+  isr_high = uint32,  // The higher 32 bits of the ISR's address
+  reserved = uint32   // Set to zero
+}
+
+typedef idtr_t = @{
+  limit = uint16,
+  base = uint64
+}
+
+// Interrupt frame to pass to ISR
+typedef int_frame = @{
+  ip = uint64, // instruction pointer
+  cs = uint64, // code segment
+  rflags = uint64,
+  sp = uint64, // stack pointer
+  ss = uint64 // stack segment
+}
+
+fun idt_init() : void