../include/geekos/fmtout.h ../include/geekos/../libc/fmtout.h \
/home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdarg.h \
../include/geekos/idt.h ../include/geekos/int.h \
- ../include/geekos/defs.h ../include/geekos/io.h ../include/geekos/irq.h
+ ../include/geekos/defs.h ../include/geekos/io.h ../include/geekos/irq.h \
+ ../include/geekos/debug.h ../include/geekos/serial.h \
+ ../include/geekos/string.h ../include/geekos/../libc/string.h \
+ /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h
geekos/io.o: ../src/geekos/io.c ../include/geekos/io.h \
../include/geekos/ktypes.h \
/home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h
../include/geekos/int.h ../include/geekos/string.h \
../include/geekos/../libc/string.h ../include/geekos/io.h \
../include/geekos/vm.h ../include/devices/nvram.h \
- ../include/palacios/vm_dev.h ../include/devices/timer.h
+ ../include/palacios/vm_dev.h ../include/devices/timer.h \
+ ../include/devices/simple_pic.h ../include/devices/8259a.h
geekos/main.o: ../src/geekos/main.c ../include/geekos/bootinfo.h \
../include/geekos/string.h ../include/geekos/../libc/string.h \
/home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
palacios/vmm_intr.o: ../src/palacios/vmm_intr.c ../include/palacios/vmm_intr.h \
../include/palacios/vmm_types.h ../include/geekos/ktypes.h \
/home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
- ../include/palacios/vm_guest.h ../include/palacios/vmm_mem.h \
+ ../include/palacios/vmm.h ../include/palacios/vmm_string.h \
+ /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
+ ../include/palacios/vmm_mem.h ../include/palacios/vm_guest.h \
../include/palacios/vmm_io.h ../include/palacios/vmm_util.h \
../include/palacios/vmm_shadow_paging.h \
../include/palacios/vmm_paging.h ../include/palacios/vmm_dev_mgr.h \
- ../include/palacios/vmm_list.h ../include/palacios/vmm_string.h \
- /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
- ../include/palacios/vmm_irq.h
+ ../include/palacios/vmm_list.h ../include/palacios/vmm_irq.h
palacios/vmm_irq.o: ../src/palacios/vmm_irq.c
palacios/vmm_shadow_paging.o: ../src/palacios/vmm_shadow_paging.c \
../include/palacios/vmm_shadow_paging.h ../include/palacios/vmm_util.h \
/home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
../include/palacios/vmm_list.h ../include/palacios/vmm_string.h \
/home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
- ../include/palacios/vmm_dev_mgr.h ../include/palacios/vmm_intr.h
+ ../include/palacios/vmm_dev_mgr.h ../include/palacios/vmm_intr.h \
+ ../include/palacios/vmm.h ../include/palacios/vmm_mem.h \
+ ../include/palacios/vm_guest.h ../include/palacios/vmm_io.h \
+ ../include/palacios/vmm_util.h ../include/palacios/vmm_shadow_paging.h \
+ ../include/palacios/vmm_paging.h ../include/palacios/vmm_irq.h
+devices/8259a.o: ../src/devices/8259a.c ../include/devices/8259a.h \
+ ../include/palacios/vm_dev.h ../include/palacios/vmm_types.h \
+ ../include/geekos/ktypes.h \
+ /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
+ ../include/palacios/vmm_list.h ../include/palacios/vmm_string.h \
+ /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
+ ../include/palacios/vmm_dev_mgr.h ../include/palacios/vmm_intr.h \
+ ../include/palacios/vmm.h ../include/palacios/vmm_mem.h \
+ ../include/palacios/vm_guest.h ../include/palacios/vmm_io.h \
+ ../include/palacios/vmm_util.h ../include/palacios/vmm_shadow_paging.h \
+ ../include/palacios/vmm_paging.h ../include/palacios/vmm_irq.h