Rev 1787 | Rev 1901 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1787 | Rev 1842 | ||
---|---|---|---|
Line 39... | Line 39... | ||
39 | #include <config.h> |
39 | #include <config.h> |
40 | 40 | ||
41 | #include <proc/thread.h> |
41 | #include <proc/thread.h> |
42 | #include <arch/drivers/ega.h> |
42 | #include <arch/drivers/ega.h> |
43 | #include <arch/drivers/vesa.h> |
43 | #include <arch/drivers/vesa.h> |
44 | #include <genarch/i8042/i8042.h> |
44 | #include <genarch/kbd/i8042.h> |
45 | #include <arch/drivers/i8254.h> |
45 | #include <arch/drivers/i8254.h> |
46 | #include <arch/drivers/i8259.h> |
46 | #include <arch/drivers/i8259.h> |
47 | 47 | ||
48 | #include <arch/bios/bios.h> |
48 | #include <arch/bios/bios.h> |
49 | #include <arch/mm/memory_init.h> |
49 | #include <arch/mm/memory_init.h> |
Line 208... | Line 208... | ||
208 | i8042_release(); |
208 | i8042_release(); |
209 | } |
209 | } |
210 | 210 | ||
211 | /** @} |
211 | /** @} |
212 | */ |
212 | */ |
213 | - |