setup idt
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
diff --git a/include/bios.h b/include/bios.h
index 22a912a..fcfc5ba 100644
--- a/include/bios.h
+++ b/include/bios.h
@@ -31,6 +31,10 @@
extern bioscall void int15_handler(struct biosregs *regs);
extern bioscall void e820_query_map(struct biosregs *regs);
+extern void bios_intfake(void);
+extern void bios_int10(void);
+extern void bios_int15(void);
+
extern struct e820map e820;
static inline void __attribute__((noreturn)) panic(void)
diff --git a/main.c b/main.c
index eeb21fd..ed871df 100644
--- a/main.c
+++ b/main.c
@@ -1,6 +1,7 @@
#include "bios.h"
#include "pci.h"
#include "string.h"
+#include "segment.h"
#define PCI_VENDOR_ID_INTEL 0x8086
#define PCI_DEVICE_ID_INTEL_82441 0x1237
@@ -37,13 +38,31 @@
memcpy(low_start, bios_start, 0x10000);
}
+static void set_realmode_int(int vec, void *p)
+{
+ uint16_t *realmode_idt = (uint16_t *) 0;
+ realmode_idt[vec * 2] = flat_to_off16((uintptr_t) p);
+ realmode_idt[vec * 2 + 1] = flat_to_seg16((uintptr_t) p);
+}
+
+static void setup_idt(void)
+{
+ int i;
+ for (i = 0; i < 0x1f; i++)
+ set_realmode_int(i, bios_intfake);
+ set_realmode_int(0x10, bios_int10);
+ set_realmode_int(0x15, bios_int15);
+}
int main(void)
{
make_bios_writable();
+ setup_idt();
// extract_acpi();
+ // extract_e820();
// extract_smbios();
// extract_kernel();
+ // make_bios_readonly();
// boot_linux();
panic();
}
