From 7e908dabaaf6c67ef5000406a0bb3a6a29beca01 Mon Sep 17 00:00:00 2001
From: Alex Auvolat <alex.auvolat@ens.fr>
Date: Tue, 24 Feb 2015 15:08:01 +0100
Subject: Add PCI IDE driver (only PIO mode, no DMA yet.)

---
 src/kernel/core/idt.c   | 1 +
 src/kernel/core/kmain.c | 2 ++
 2 files changed, 3 insertions(+)

(limited to 'src/kernel/core')

diff --git a/src/kernel/core/idt.c b/src/kernel/core/idt.c
index abab3cc..d34d03f 100644
--- a/src/kernel/core/idt.c
+++ b/src/kernel/core/idt.c
@@ -112,6 +112,7 @@ void idt_irq_handler(registers_t *regs) {
 	}
 	outb(0x20, 0x20);
 
+	if (regs->err_code != 0) dbg_printf("IRQ%d\n", regs->err_code);
 	if (irq_handlers[regs->err_code] != 0) {
 		irq_handlers[regs->err_code](regs);
 	}
diff --git a/src/kernel/core/kmain.c b/src/kernel/core/kmain.c
index c77750a..9bf9d0d 100644
--- a/src/kernel/core/kmain.c
+++ b/src/kernel/core/kmain.c
@@ -24,6 +24,7 @@
 #include <string.h>
 
 #include <dev/pci.h>
+#include <dev/pciide.h>
 
 // ===== FOR TESTS =====
 #define TEST_PLACEHOLDER_AFTER_IDT
@@ -135,6 +136,7 @@ void kernel_init_stage2(void* data) {
 
 	// Scan for devices
 	pci_setup();
+	pciide_detect(iofs);
 
 	// Add kernel command line to iofs
 	{
-- 
cgit v1.2.3