a sensible source structure

The idea is that src/kernel/ is only allowed to interface with the
hardware using whatever's defined in src/arch/generic.h. I'll probably
write a small script for checking this later on.

This is a giant commit so I've probably fucked something up. It boots
fine on Bochs and QEMU, so at least there's that.

1 files changed, 0 insertions, 15 deletions

diff --git a/src/kernel/isr.h b/src/kernel/isr.h
deleted file mode 100644
index 150fc46..0000000
--- a/src/kernel/isr.h
+++ /dev/null
@@ -1,15 +0,0 @@
-#pragma once
-#include <stdbool.h>
-
-struct interrupt_frame;
-
-extern bool isr_test_interrupt_called; // used in the self-test in idt.c
-
-__attribute__((interrupt))
-void isr_double_fault(struct interrupt_frame *frame);
-
-__attribute__((interrupt))
-void isr_general_protection_fault(struct interrupt_frame *frame);
-
-__attribute__((interrupt))
-void isr_test_interrupt(struct interrupt_frame *frame);