# Makefile for GeekOS kernel, userspace, and tools
# Copyright (c) 2004,2005 David H. Hovemeyer <daveho@cs.umd.edu>
-# $Revision: 1.3 $
+# $Revision: 1.4 $
# This is free software. You are permitted to use,
# redistribute, and modify it as specified in the file "COPYING".
# Kernel source files
KERNEL_C_SRCS := idt.c int.c trap.c irq.c io.c \
+ blockdev.c ide.c \
keyboard.c screen.c timer.c \
mem.c crc32.c \
gdt.c tss.c segment.c \
* Copyright (c) 2001,2003,2004 David H. Hovemeyer <daveho@cs.umd.edu>
* Copyright (c) 2003, Jeffrey K. Hollingsworth <hollings@cs.umd.edu>
* Copyright (c) 2004, Iulian Neamtiu <neamtiu@cs.umd.edu>
- * $Revision: 1.1 $
+ * $Revision: 1.2 $
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "COPYING".
#include <geekos/reboot.h>
#include <geekos/mem.h>
#include <geekos/paging.h>
+#include <geekos/ide.h>
+
#include <geekos/vmx.h>
#include <geekos/vmcs.h>
Init_Keyboard();
Init_VM(bootInfo);
Init_Paging();
-
+ Init_IDE();
+ Print("Done; stalling\n");
+
+ while(1);