Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


First cut at a keyboard device (partially done)
[palacios.git] / palacios / build / depend.mak
1 geekos/idt.o: ../src/geekos/idt.c ../include/geekos/kassert.h \
2   ../include/geekos/screen.h ../include/geekos/ktypes.h \
3   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
4   ../include/geekos/fmtout.h ../include/geekos/../libc/fmtout.h \
5   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdarg.h \
6   ../include/geekos/defs.h ../include/geekos/idt.h \
7   ../include/geekos/int.h ../include/geekos/serial.h \
8   ../include/geekos/irq.h ../include/geekos/string.h \
9   ../include/geekos/../libc/string.h \
10   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
11   ../include/geekos/io.h ../include/geekos/debug.h
12 geekos/int.o: ../src/geekos/int.c ../include/geekos/idt.h \
13   ../include/geekos/int.h ../include/geekos/kassert.h \
14   ../include/geekos/screen.h ../include/geekos/ktypes.h \
15   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
16   ../include/geekos/fmtout.h ../include/geekos/../libc/fmtout.h \
17   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdarg.h \
18   ../include/geekos/defs.h ../include/geekos/serial.h \
19   ../include/geekos/irq.h ../include/geekos/string.h \
20   ../include/geekos/../libc/string.h \
21   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
22   ../include/geekos/io.h ../include/geekos/debug.h \
23   ../include/geekos/cpu.h
24 geekos/trap.o: ../src/geekos/trap.c ../include/geekos/idt.h \
25   ../include/geekos/int.h ../include/geekos/kassert.h \
26   ../include/geekos/screen.h ../include/geekos/ktypes.h \
27   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
28   ../include/geekos/fmtout.h ../include/geekos/../libc/fmtout.h \
29   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdarg.h \
30   ../include/geekos/defs.h ../include/geekos/kthread.h \
31   ../include/geekos/list.h ../include/geekos/trap.h \
32   ../include/geekos/serial.h ../include/geekos/irq.h \
33   ../include/geekos/string.h ../include/geekos/../libc/string.h \
34   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
35   ../include/geekos/io.h ../include/geekos/debug.h
36 geekos/irq.o: ../src/geekos/irq.c ../include/geekos/kassert.h \
37   ../include/geekos/screen.h ../include/geekos/ktypes.h \
38   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
39   ../include/geekos/fmtout.h ../include/geekos/../libc/fmtout.h \
40   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdarg.h \
41   ../include/geekos/idt.h ../include/geekos/int.h \
42   ../include/geekos/defs.h ../include/geekos/io.h ../include/geekos/irq.h \
43   ../include/geekos/debug.h ../include/geekos/serial.h \
44   ../include/geekos/string.h ../include/geekos/../libc/string.h \
45   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h
46 geekos/io.o: ../src/geekos/io.c ../include/geekos/io.h \
47   ../include/geekos/ktypes.h \
48   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h
49 geekos/blockdev.o: ../src/geekos/blockdev.c ../include/geekos/errno.h \
50   ../include/geekos/screen.h ../include/geekos/ktypes.h \
51   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
52   ../include/geekos/fmtout.h ../include/geekos/../libc/fmtout.h \
53   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdarg.h \
54   ../include/geekos/string.h ../include/geekos/../libc/string.h \
55   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
56   ../include/geekos/malloc.h ../include/geekos/int.h \
57   ../include/geekos/kassert.h ../include/geekos/defs.h \
58   ../include/geekos/kthread.h ../include/geekos/list.h \
59   ../include/geekos/synch.h ../include/geekos/blockdev.h \
60   ../include/geekos/fileio.h
61 geekos/ide.o: ../src/geekos/ide.c ../include/geekos/serial.h \
62   ../include/geekos/irq.h ../include/geekos/int.h \
63   ../include/geekos/kassert.h ../include/geekos/screen.h \
64   ../include/geekos/ktypes.h \
65   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
66   ../include/geekos/fmtout.h ../include/geekos/../libc/fmtout.h \
67   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdarg.h \
68   ../include/geekos/defs.h ../include/geekos/string.h \
69   ../include/geekos/../libc/string.h \
70   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
71   ../include/geekos/io.h ../include/geekos/errno.h \
72   ../include/geekos/malloc.h ../include/geekos/timer.h \
73   ../include/geekos/kthread.h ../include/geekos/list.h \
74   ../include/geekos/blockdev.h ../include/geekos/fileio.h \
75   ../include/geekos/ide.h
76 geekos/keyboard.o: ../src/geekos/keyboard.c ../include/geekos/kthread.h \
77   ../include/geekos/ktypes.h \
78   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
79   ../include/geekos/list.h ../include/geekos/kassert.h \
80   ../include/geekos/screen.h ../include/geekos/fmtout.h \
81   ../include/geekos/../libc/fmtout.h \
82   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdarg.h \
83   ../include/geekos/irq.h ../include/geekos/int.h \
84   ../include/geekos/defs.h ../include/geekos/io.h \
85   ../include/geekos/keyboard.h
86 geekos/screen.o: ../src/geekos/screen.c \
87   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdarg.h \
88   ../include/geekos/kassert.h ../include/geekos/screen.h \
89   ../include/geekos/ktypes.h \
90   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
91   ../include/geekos/fmtout.h ../include/geekos/../libc/fmtout.h \
92   ../include/geekos/io.h ../include/geekos/int.h ../include/geekos/defs.h \
93   ../include/geekos/debug.h ../include/geekos/serial.h \
94   ../include/geekos/irq.h ../include/geekos/string.h \
95   ../include/geekos/../libc/string.h \
96   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h
97 geekos/timer.o: ../src/geekos/timer.c \
98   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/limits.h \
99   ../include/geekos/io.h ../include/geekos/ktypes.h \
100   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
101   ../include/geekos/int.h ../include/geekos/kassert.h \
102   ../include/geekos/screen.h ../include/geekos/fmtout.h \
103   ../include/geekos/../libc/fmtout.h \
104   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdarg.h \
105   ../include/geekos/defs.h ../include/geekos/irq.h \
106   ../include/geekos/kthread.h ../include/geekos/list.h \
107   ../include/geekos/timer.h ../include/geekos/serial.h \
108   ../include/geekos/string.h ../include/geekos/../libc/string.h \
109   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
110   ../include/geekos/debug.h
111 geekos/mem.o: ../src/geekos/mem.c ../include/geekos/defs.h \
112   ../include/geekos/ktypes.h \
113   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
114   ../include/geekos/kassert.h ../include/geekos/screen.h \
115   ../include/geekos/fmtout.h ../include/geekos/../libc/fmtout.h \
116   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdarg.h \
117   ../include/geekos/bootinfo.h ../include/geekos/gdt.h \
118   ../include/geekos/int.h ../include/geekos/malloc.h \
119   ../include/geekos/string.h ../include/geekos/../libc/string.h \
120   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
121   ../include/geekos/mem.h ../include/geekos/list.h \
122   ../include/geekos/paging.h ../include/geekos/serial.h \
123   ../include/geekos/irq.h ../include/geekos/io.h \
124   ../include/geekos/debug.h
125 geekos/crc32.o: ../src/geekos/crc32.c ../include/geekos/crc32.h \
126   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
127   ../include/geekos/ktypes.h \
128   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
129   ../include/geekos/kassert.h ../include/geekos/screen.h \
130   ../include/geekos/fmtout.h ../include/geekos/../libc/fmtout.h \
131   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdarg.h \
132   ../include/geekos/serial.h ../include/geekos/irq.h \
133   ../include/geekos/int.h ../include/geekos/defs.h \
134   ../include/geekos/string.h ../include/geekos/../libc/string.h \
135   ../include/geekos/io.h ../include/geekos/debug.h
136 geekos/gdt.o: ../src/geekos/gdt.c ../include/geekos/kassert.h \
137   ../include/geekos/screen.h ../include/geekos/ktypes.h \
138   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
139   ../include/geekos/fmtout.h ../include/geekos/../libc/fmtout.h \
140   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdarg.h \
141   ../include/geekos/segment.h ../include/geekos/int.h \
142   ../include/geekos/defs.h ../include/geekos/tss.h \
143   ../include/geekos/gdt.h ../include/libc/string.h \
144   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
145   ../include/geekos/debug.h ../include/geekos/serial.h \
146   ../include/geekos/irq.h ../include/geekos/string.h \
147   ../include/geekos/../libc/string.h ../include/geekos/io.h
148 geekos/tss.o: ../src/geekos/tss.c ../include/geekos/kassert.h \
149   ../include/geekos/screen.h ../include/geekos/ktypes.h \
150   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
151   ../include/geekos/fmtout.h ../include/geekos/../libc/fmtout.h \
152   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdarg.h \
153   ../include/geekos/defs.h ../include/geekos/gdt.h \
154   ../include/geekos/segment.h ../include/geekos/string.h \
155   ../include/geekos/../libc/string.h \
156   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
157   ../include/geekos/tss.h ../include/geekos/serial.h \
158   ../include/geekos/irq.h ../include/geekos/int.h ../include/geekos/io.h \
159   ../include/geekos/debug.h
160 geekos/segment.o: ../src/geekos/segment.c ../include/geekos/kassert.h \
161   ../include/geekos/screen.h ../include/geekos/ktypes.h \
162   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
163   ../include/geekos/fmtout.h ../include/geekos/../libc/fmtout.h \
164   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdarg.h \
165   ../include/geekos/string.h ../include/geekos/../libc/string.h \
166   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
167   ../include/geekos/tss.h ../include/geekos/segment.h
168 geekos/bget.o: ../src/geekos/bget.c ../include/geekos/string.h \
169   ../include/geekos/../libc/string.h \
170   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
171   ../include/geekos/kassert.h ../include/geekos/screen.h \
172   ../include/geekos/ktypes.h \
173   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
174   ../include/geekos/fmtout.h ../include/geekos/../libc/fmtout.h \
175   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdarg.h \
176   ../include/geekos/bget.h
177 geekos/malloc.o: ../src/geekos/malloc.c ../include/geekos/screen.h \
178   ../include/geekos/ktypes.h \
179   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
180   ../include/geekos/fmtout.h ../include/geekos/../libc/fmtout.h \
181   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdarg.h \
182   ../include/geekos/int.h ../include/geekos/kassert.h \
183   ../include/geekos/defs.h ../include/geekos/bget.h \
184   ../include/geekos/malloc.h
185 geekos/synch.o: ../src/geekos/synch.c ../include/geekos/kthread.h \
186   ../include/geekos/ktypes.h \
187   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
188   ../include/geekos/list.h ../include/geekos/kassert.h \
189   ../include/geekos/screen.h ../include/geekos/fmtout.h \
190   ../include/geekos/../libc/fmtout.h \
191   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdarg.h \
192   ../include/geekos/int.h ../include/geekos/defs.h \
193   ../include/geekos/synch.h
194 geekos/kthread.o: ../src/geekos/kthread.c ../include/geekos/kassert.h \
195   ../include/geekos/screen.h ../include/geekos/ktypes.h \
196   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
197   ../include/geekos/fmtout.h ../include/geekos/../libc/fmtout.h \
198   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdarg.h \
199   ../include/geekos/defs.h ../include/geekos/int.h \
200   ../include/geekos/mem.h ../include/geekos/list.h \
201   ../include/geekos/paging.h ../include/geekos/bootinfo.h \
202   ../include/geekos/symbol.h ../include/geekos/string.h \
203   ../include/geekos/../libc/string.h \
204   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
205   ../include/geekos/kthread.h ../include/geekos/malloc.h \
206   ../include/geekos/serial.h ../include/geekos/irq.h \
207   ../include/geekos/io.h ../include/geekos/debug.h
208 geekos/serial.o: ../src/geekos/serial.c ../include/geekos/serial.h \
209   ../include/geekos/irq.h ../include/geekos/int.h \
210   ../include/geekos/kassert.h ../include/geekos/screen.h \
211   ../include/geekos/ktypes.h \
212   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
213   ../include/geekos/fmtout.h ../include/geekos/../libc/fmtout.h \
214   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdarg.h \
215   ../include/geekos/defs.h ../include/geekos/string.h \
216   ../include/geekos/../libc/string.h \
217   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
218   ../include/geekos/io.h ../include/geekos/reboot.h \
219   ../include/geekos/gdt.h ../include/geekos/idt.h
220 geekos/reboot.o: ../src/geekos/reboot.c ../include/geekos/reboot.h \
221   ../include/libc/string.h \
222   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h
223 geekos/paging.o: ../src/geekos/paging.c ../include/geekos/string.h \
224   ../include/geekos/../libc/string.h \
225   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
226   ../include/geekos/int.h ../include/geekos/kassert.h \
227   ../include/geekos/screen.h ../include/geekos/ktypes.h \
228   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
229   ../include/geekos/fmtout.h ../include/geekos/../libc/fmtout.h \
230   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdarg.h \
231   ../include/geekos/defs.h ../include/geekos/idt.h \
232   ../include/geekos/kthread.h ../include/geekos/list.h \
233   ../include/geekos/mem.h ../include/geekos/paging.h \
234   ../include/geekos/bootinfo.h ../include/geekos/malloc.h \
235   ../include/geekos/gdt.h ../include/geekos/segment.h \
236   ../include/geekos/crc32.h ../include/geekos/serial.h \
237   ../include/geekos/irq.h ../include/geekos/io.h \
238   ../include/geekos/debug.h
239 geekos/debug.o: ../src/geekos/debug.c ../include/geekos/debug.h \
240   ../include/geekos/serial.h ../include/geekos/irq.h \
241   ../include/geekos/int.h ../include/geekos/kassert.h \
242   ../include/geekos/screen.h ../include/geekos/ktypes.h \
243   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
244   ../include/geekos/fmtout.h ../include/geekos/../libc/fmtout.h \
245   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdarg.h \
246   ../include/geekos/defs.h ../include/geekos/string.h \
247   ../include/geekos/../libc/string.h \
248   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
249   ../include/geekos/io.h
250 geekos/vmm_stubs.o: ../src/geekos/vmm_stubs.c ../include/geekos/vmm_stubs.h \
251   ../include/geekos/mem.h ../include/geekos/ktypes.h \
252   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
253   ../include/geekos/defs.h ../include/geekos/list.h \
254   ../include/geekos/kassert.h ../include/geekos/screen.h \
255   ../include/geekos/fmtout.h ../include/geekos/../libc/fmtout.h \
256   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdarg.h \
257   ../include/geekos/paging.h ../include/geekos/bootinfo.h \
258   ../include/geekos/malloc.h ../include/geekos/serial.h \
259   ../include/geekos/irq.h ../include/geekos/int.h \
260   ../include/geekos/string.h ../include/geekos/../libc/string.h \
261   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
262   ../include/geekos/io.h ../include/palacios/vm_guest.h \
263   ../include/palacios/vmm_mem.h ../include/palacios/vmm_types.h \
264   ../include/palacios/vmm_io.h ../include/palacios/vmm_util.h \
265   ../include/palacios/vmm_shadow_paging.h \
266   ../include/palacios/vmm_paging.h ../include/palacios/vmm_intr.h \
267   ../include/palacios/vmm_dev_mgr.h ../include/palacios/vmm_list.h \
268   ../include/palacios/vmm_string.h ../include/palacios/vmm_irq.h
269 geekos/vm.o: ../src/geekos/vm.c ../include/geekos/vmm_stubs.h \
270   ../include/geekos/mem.h ../include/geekos/ktypes.h \
271   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
272   ../include/geekos/defs.h ../include/geekos/list.h \
273   ../include/geekos/kassert.h ../include/geekos/screen.h \
274   ../include/geekos/fmtout.h ../include/geekos/../libc/fmtout.h \
275   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdarg.h \
276   ../include/geekos/paging.h ../include/geekos/bootinfo.h \
277   ../include/geekos/malloc.h ../include/palacios/vmm.h \
278   ../include/palacios/vm_guest.h ../include/palacios/vmm_mem.h \
279   ../include/palacios/vmm_types.h ../include/palacios/vmm_io.h \
280   ../include/palacios/vmm_util.h ../include/palacios/vmm_shadow_paging.h \
281   ../include/palacios/vmm_paging.h ../include/palacios/vmm_intr.h \
282   ../include/palacios/vmm_dev_mgr.h ../include/palacios/vmm_list.h \
283   ../include/palacios/vmm_string.h \
284   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
285   ../include/palacios/vmm_irq.h ../include/geekos/debug.h \
286   ../include/geekos/serial.h ../include/geekos/irq.h \
287   ../include/geekos/int.h ../include/geekos/string.h \
288   ../include/geekos/../libc/string.h ../include/geekos/io.h \
289   ../include/geekos/vm.h ../include/devices/nvram.h \
290   ../include/palacios/vm_dev.h ../include/devices/timer.h \
291   ../include/devices/simple_pic.h ../include/devices/8259a.h \
292   ../include/devices/keyboard.h
293 geekos/main.o: ../src/geekos/main.c ../include/geekos/bootinfo.h \
294   ../include/geekos/string.h ../include/geekos/../libc/string.h \
295   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
296   ../include/geekos/screen.h ../include/geekos/ktypes.h \
297   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
298   ../include/geekos/fmtout.h ../include/geekos/../libc/fmtout.h \
299   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdarg.h \
300   ../include/geekos/mem.h ../include/geekos/defs.h \
301   ../include/geekos/list.h ../include/geekos/kassert.h \
302   ../include/geekos/paging.h ../include/geekos/crc32.h \
303   ../include/geekos/tss.h ../include/geekos/int.h \
304   ../include/geekos/kthread.h ../include/geekos/trap.h \
305   ../include/geekos/timer.h ../include/geekos/keyboard.h \
306   ../include/geekos/io.h ../include/geekos/serial.h \
307   ../include/geekos/irq.h ../include/geekos/reboot.h \
308   ../include/geekos/ide.h ../include/geekos/malloc.h \
309   ../include/geekos/debug.h ../include/geekos/vm.h \
310   ../include/geekos/gdt.h ../include/geekos/vmm_stubs.h
311 common/fmtout.o: ../src/common/fmtout.c \
312   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdarg.h \
313   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
314   ../include/geekos/string.h ../include/geekos/../libc/string.h \
315   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/limits.h \
316   ../include/geekos/fmtout.h ../include/geekos/../libc/fmtout.h
317 common/string.o: ../src/common/string.c ../include/libc/fmtout.h \
318   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdarg.h \
319   ../include/libc/string.h \
320   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h
321 common/memmove.o: ../src/common/memmove.c ../include/libc/string.h \
322   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h
323 palacios/vm_guest.o: ../src/palacios/vm_guest.c ../include/palacios/vm_guest.h \
324   ../include/palacios/vmm_mem.h ../include/palacios/vmm_types.h \
325   ../include/geekos/ktypes.h \
326   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
327   ../include/palacios/vmm_io.h ../include/palacios/vmm_util.h \
328   ../include/palacios/vmm_shadow_paging.h \
329   ../include/palacios/vmm_paging.h ../include/palacios/vmm_intr.h \
330   ../include/palacios/vmm_dev_mgr.h ../include/palacios/vmm_list.h \
331   ../include/palacios/vmm_string.h \
332   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
333   ../include/palacios/vmm_irq.h
334 palacios/svm.o: ../src/palacios/svm.c ../include/palacios/svm.h \
335   ../include/palacios/vmm_util.h ../include/palacios/vmm_types.h \
336   ../include/geekos/ktypes.h \
337   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
338   ../include/palacios/vmm.h ../include/palacios/vm_guest.h \
339   ../include/palacios/vmm_mem.h ../include/palacios/vmm_io.h \
340   ../include/palacios/vmm_shadow_paging.h \
341   ../include/palacios/vmm_paging.h ../include/palacios/vmm_intr.h \
342   ../include/palacios/vmm_dev_mgr.h ../include/palacios/vmm_list.h \
343   ../include/palacios/vmm_string.h \
344   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
345   ../include/palacios/vmm_irq.h ../include/palacios/vmcb.h \
346   ../include/palacios/svm_handler.h ../include/palacios/vmm_debug.h \
347   ../include/palacios/vm_guest_mem.h ../include/palacios/vmm_emulate.h
348 palacios/svm_handler.o: ../src/palacios/svm_handler.c \
349   ../include/palacios/svm_handler.h ../include/palacios/svm.h \
350   ../include/palacios/vmm_util.h ../include/palacios/vmm_types.h \
351   ../include/geekos/ktypes.h \
352   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
353   ../include/palacios/vmm.h ../include/palacios/vm_guest.h \
354   ../include/palacios/vmm_mem.h ../include/palacios/vmm_io.h \
355   ../include/palacios/vmm_shadow_paging.h \
356   ../include/palacios/vmm_paging.h ../include/palacios/vmm_intr.h \
357   ../include/palacios/vmm_dev_mgr.h ../include/palacios/vmm_list.h \
358   ../include/palacios/vmm_string.h \
359   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
360   ../include/palacios/vmm_irq.h ../include/palacios/vmcb.h \
361   ../include/palacios/vm_guest_mem.h ../include/palacios/vmm_emulate.h \
362   ../include/palacios/vmm_ctrl_regs.h ../include/palacios/svm_io.h
363 palacios/vmm.o: ../src/palacios/vmm.c ../include/palacios/vmm.h \
364   ../include/palacios/vm_guest.h ../include/palacios/vmm_mem.h \
365   ../include/palacios/vmm_types.h ../include/geekos/ktypes.h \
366   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
367   ../include/palacios/vmm_io.h ../include/palacios/vmm_util.h \
368   ../include/palacios/vmm_shadow_paging.h \
369   ../include/palacios/vmm_paging.h ../include/palacios/vmm_intr.h \
370   ../include/palacios/vmm_dev_mgr.h ../include/palacios/vmm_list.h \
371   ../include/palacios/vmm_string.h \
372   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
373   ../include/palacios/vmm_irq.h ../include/palacios/svm.h \
374   ../include/palacios/vmcb.h ../include/palacios/vmx.h \
375   ../include/palacios/vmcs.h ../include/palacios/vmcs_gen.h
376 palacios/vmm_util.o: ../src/palacios/vmm_util.c ../include/palacios/vmm_util.h \
377   ../include/palacios/vmm_types.h ../include/geekos/ktypes.h \
378   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
379   ../include/palacios/vmm.h ../include/palacios/vm_guest.h \
380   ../include/palacios/vmm_mem.h ../include/palacios/vmm_io.h \
381   ../include/palacios/vmm_shadow_paging.h \
382   ../include/palacios/vmm_paging.h ../include/palacios/vmm_intr.h \
383   ../include/palacios/vmm_dev_mgr.h ../include/palacios/vmm_list.h \
384   ../include/palacios/vmm_string.h \
385   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
386   ../include/palacios/vmm_irq.h
387 palacios/vmm_ctrl_regs.o: ../src/palacios/vmm_ctrl_regs.c \
388   ../include/palacios/vmm_mem.h ../include/palacios/vmm_types.h \
389   ../include/geekos/ktypes.h \
390   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
391   ../include/palacios/vmm.h ../include/palacios/vm_guest.h \
392   ../include/palacios/vmm_io.h ../include/palacios/vmm_util.h \
393   ../include/palacios/vmm_shadow_paging.h \
394   ../include/palacios/vmm_paging.h ../include/palacios/vmm_intr.h \
395   ../include/palacios/vmm_dev_mgr.h ../include/palacios/vmm_list.h \
396   ../include/palacios/vmm_string.h \
397   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
398   ../include/palacios/vmm_irq.h ../include/palacios/vmcb.h \
399   ../include/palacios/vmm_emulate.h ../include/palacios/vm_guest_mem.h \
400   ../include/palacios/vmm_ctrl_regs.h
401 palacios/vmcb.o: ../src/palacios/vmcb.c ../include/palacios/vmcb.h \
402   ../include/palacios/vmm_types.h ../include/geekos/ktypes.h \
403   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
404   ../include/palacios/vm_guest.h ../include/palacios/vmm_mem.h \
405   ../include/palacios/vmm_io.h ../include/palacios/vmm_util.h \
406   ../include/palacios/vmm_shadow_paging.h \
407   ../include/palacios/vmm_paging.h ../include/palacios/vmm_intr.h \
408   ../include/palacios/vmm_dev_mgr.h ../include/palacios/vmm_list.h \
409   ../include/palacios/vmm_string.h \
410   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
411   ../include/palacios/vmm_irq.h ../include/palacios/vmm.h
412 palacios/vmm_mem.o: ../src/palacios/vmm_mem.c ../include/palacios/vmm_mem.h \
413   ../include/palacios/vmm_types.h ../include/geekos/ktypes.h \
414   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
415   ../include/palacios/vmm.h ../include/palacios/vm_guest.h \
416   ../include/palacios/vmm_io.h ../include/palacios/vmm_util.h \
417   ../include/palacios/vmm_shadow_paging.h \
418   ../include/palacios/vmm_paging.h ../include/palacios/vmm_intr.h \
419   ../include/palacios/vmm_dev_mgr.h ../include/palacios/vmm_list.h \
420   ../include/palacios/vmm_string.h \
421   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
422   ../include/palacios/vmm_irq.h
423 palacios/vmm_paging.o: ../src/palacios/vmm_paging.c \
424   ../include/palacios/vmm_paging.h ../include/palacios/vmm_types.h \
425   ../include/geekos/ktypes.h \
426   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
427   ../include/palacios/vmm_mem.h ../include/palacios/vmm_util.h \
428   ../include/palacios/vmm.h ../include/palacios/vm_guest.h \
429   ../include/palacios/vmm_io.h ../include/palacios/vmm_shadow_paging.h \
430   ../include/palacios/vmm_intr.h ../include/palacios/vmm_dev_mgr.h \
431   ../include/palacios/vmm_list.h ../include/palacios/vmm_string.h \
432   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
433   ../include/palacios/vmm_irq.h ../include/palacios/vm_guest_mem.h
434 palacios/vmm_io.o: ../src/palacios/vmm_io.c ../include/palacios/vmm_io.h \
435   ../include/palacios/vmm_types.h ../include/geekos/ktypes.h \
436   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
437   ../include/palacios/vmm_util.h ../include/palacios/vmm_string.h \
438   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
439   ../include/palacios/vmm.h ../include/palacios/vm_guest.h \
440   ../include/palacios/vmm_mem.h ../include/palacios/vmm_shadow_paging.h \
441   ../include/palacios/vmm_paging.h ../include/palacios/vmm_intr.h \
442   ../include/palacios/vmm_dev_mgr.h ../include/palacios/vmm_list.h \
443   ../include/palacios/vmm_irq.h
444 palacios/vmm_debug.o: ../src/palacios/vmm_debug.c ../include/palacios/vmm_debug.h \
445   ../include/palacios/vmm.h ../include/palacios/vm_guest.h \
446   ../include/palacios/vmm_mem.h ../include/palacios/vmm_types.h \
447   ../include/geekos/ktypes.h \
448   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
449   ../include/palacios/vmm_io.h ../include/palacios/vmm_util.h \
450   ../include/palacios/vmm_shadow_paging.h \
451   ../include/palacios/vmm_paging.h ../include/palacios/vmm_intr.h \
452   ../include/palacios/vmm_dev_mgr.h ../include/palacios/vmm_list.h \
453   ../include/palacios/vmm_string.h \
454   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
455   ../include/palacios/vmm_irq.h
456 palacios/svm_io.o: ../src/palacios/svm_io.c ../include/palacios/svm_io.h \
457   ../include/palacios/vm_guest.h ../include/palacios/vmm_mem.h \
458   ../include/palacios/vmm_types.h ../include/geekos/ktypes.h \
459   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
460   ../include/palacios/vmm_io.h ../include/palacios/vmm_util.h \
461   ../include/palacios/vmm_shadow_paging.h \
462   ../include/palacios/vmm_paging.h ../include/palacios/vmm_intr.h \
463   ../include/palacios/vmm_dev_mgr.h ../include/palacios/vmm_list.h \
464   ../include/palacios/vmm_string.h \
465   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
466   ../include/palacios/vmm_irq.h ../include/palacios/vmcb.h \
467   ../include/palacios/vmm.h ../include/palacios/vmm_ctrl_regs.h \
468   ../include/palacios/vmm_emulate.h ../include/palacios/vm_guest_mem.h
469 palacios/vmm_intr.o: ../src/palacios/vmm_intr.c ../include/palacios/vmm_intr.h \
470   ../include/palacios/vmm_types.h ../include/geekos/ktypes.h \
471   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
472   ../include/palacios/vmm.h ../include/palacios/vm_guest.h \
473   ../include/palacios/vmm_mem.h ../include/palacios/vmm_io.h \
474   ../include/palacios/vmm_util.h ../include/palacios/vmm_shadow_paging.h \
475   ../include/palacios/vmm_paging.h ../include/palacios/vmm_dev_mgr.h \
476   ../include/palacios/vmm_list.h ../include/palacios/vmm_string.h \
477   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
478   ../include/palacios/vmm_irq.h
479 palacios/vmm_irq.o: ../src/palacios/vmm_irq.c
480 palacios/vmm_shadow_paging.o: ../src/palacios/vmm_shadow_paging.c \
481   ../include/palacios/vmm_shadow_paging.h ../include/palacios/vmm_util.h \
482   ../include/palacios/vmm_types.h ../include/geekos/ktypes.h \
483   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
484   ../include/palacios/vmm_paging.h ../include/palacios/vmm_mem.h \
485   ../include/palacios/vmm.h ../include/palacios/vm_guest.h \
486   ../include/palacios/vmm_io.h ../include/palacios/vmm_intr.h \
487   ../include/palacios/vmm_dev_mgr.h ../include/palacios/vmm_list.h \
488   ../include/palacios/vmm_string.h \
489   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
490   ../include/palacios/vmm_irq.h ../include/palacios/vm_guest_mem.h
491 palacios/vm_guest_mem.o: ../src/palacios/vm_guest_mem.c \
492   ../include/palacios/vm_guest_mem.h ../include/palacios/vm_guest.h \
493   ../include/palacios/vmm_mem.h ../include/palacios/vmm_types.h \
494   ../include/geekos/ktypes.h \
495   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
496   ../include/palacios/vmm_io.h ../include/palacios/vmm_util.h \
497   ../include/palacios/vmm_shadow_paging.h \
498   ../include/palacios/vmm_paging.h ../include/palacios/vmm_intr.h \
499   ../include/palacios/vmm_dev_mgr.h ../include/palacios/vmm_list.h \
500   ../include/palacios/vmm_string.h \
501   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
502   ../include/palacios/vmm_irq.h ../include/palacios/vmm.h
503 palacios/vm_dev.o: ../src/palacios/vm_dev.c ../include/palacios/vm_dev.h \
504   ../include/palacios/vmm_types.h ../include/geekos/ktypes.h \
505   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
506   ../include/palacios/vmm_list.h ../include/palacios/vmm_string.h \
507   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
508   ../include/palacios/vmm_dev_mgr.h ../include/palacios/vmm.h \
509   ../include/palacios/vm_guest.h ../include/palacios/vmm_mem.h \
510   ../include/palacios/vmm_io.h ../include/palacios/vmm_util.h \
511   ../include/palacios/vmm_shadow_paging.h \
512   ../include/palacios/vmm_paging.h ../include/palacios/vmm_intr.h \
513   ../include/palacios/vmm_irq.h
514 palacios/vmm_dev_mgr.o: ../src/palacios/vmm_dev_mgr.c ../include/palacios/vm_dev.h \
515   ../include/palacios/vmm_types.h ../include/geekos/ktypes.h \
516   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
517   ../include/palacios/vmm_list.h ../include/palacios/vmm_string.h \
518   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
519   ../include/palacios/vmm_dev_mgr.h ../include/palacios/vm_guest.h \
520   ../include/palacios/vmm_mem.h ../include/palacios/vmm_io.h \
521   ../include/palacios/vmm_util.h ../include/palacios/vmm_shadow_paging.h \
522   ../include/palacios/vmm_paging.h ../include/palacios/vmm_intr.h \
523   ../include/palacios/vmm_irq.h ../include/palacios/vmm.h
524 devices/keyboard.o: ../src/devices/keyboard.c ../include/devices/keyboard.h \
525   ../include/palacios/vm_dev.h ../include/palacios/vmm_types.h \
526   ../include/geekos/ktypes.h \
527   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
528   ../include/palacios/vmm_list.h ../include/palacios/vmm_string.h \
529   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
530   ../include/palacios/vmm_dev_mgr.h ../include/geekos/io.h \
531   ../include/palacios/vmm.h ../include/palacios/vm_guest.h \
532   ../include/palacios/vmm_mem.h ../include/palacios/vmm_io.h \
533   ../include/palacios/vmm_util.h ../include/palacios/vmm_shadow_paging.h \
534   ../include/palacios/vmm_paging.h ../include/palacios/vmm_intr.h \
535   ../include/palacios/vmm_irq.h
536 devices/nvram.o: ../src/devices/nvram.c ../include/devices/nvram.h \
537   ../include/palacios/vm_dev.h ../include/palacios/vmm_types.h \
538   ../include/geekos/ktypes.h \
539   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
540   ../include/palacios/vmm_list.h ../include/palacios/vmm_string.h \
541   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
542   ../include/palacios/vmm_dev_mgr.h ../include/palacios/vmm.h \
543   ../include/palacios/vm_guest.h ../include/palacios/vmm_mem.h \
544   ../include/palacios/vmm_io.h ../include/palacios/vmm_util.h \
545   ../include/palacios/vmm_shadow_paging.h \
546   ../include/palacios/vmm_paging.h ../include/palacios/vmm_intr.h \
547   ../include/palacios/vmm_irq.h
548 devices/timer.o: ../src/devices/timer.c ../include/devices/timer.h \
549   ../include/palacios/vm_dev.h ../include/palacios/vmm_types.h \
550   ../include/geekos/ktypes.h \
551   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
552   ../include/palacios/vmm_list.h ../include/palacios/vmm_string.h \
553   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
554   ../include/palacios/vmm_dev_mgr.h ../include/palacios/vmm.h \
555   ../include/palacios/vm_guest.h ../include/palacios/vmm_mem.h \
556   ../include/palacios/vmm_io.h ../include/palacios/vmm_util.h \
557   ../include/palacios/vmm_shadow_paging.h \
558   ../include/palacios/vmm_paging.h ../include/palacios/vmm_intr.h \
559   ../include/palacios/vmm_irq.h
560 devices/simple_pic.o: ../src/devices/simple_pic.c ../include/devices/simple_pic.h \
561   ../include/palacios/vm_dev.h ../include/palacios/vmm_types.h \
562   ../include/geekos/ktypes.h \
563   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
564   ../include/palacios/vmm_list.h ../include/palacios/vmm_string.h \
565   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
566   ../include/palacios/vmm_dev_mgr.h ../include/palacios/vmm_intr.h \
567   ../include/palacios/vmm.h ../include/palacios/vm_guest.h \
568   ../include/palacios/vmm_mem.h ../include/palacios/vmm_io.h \
569   ../include/palacios/vmm_util.h ../include/palacios/vmm_shadow_paging.h \
570   ../include/palacios/vmm_paging.h ../include/palacios/vmm_irq.h
571 devices/8259a.o: ../src/devices/8259a.c ../include/devices/8259a.h \
572   ../include/palacios/vm_dev.h ../include/palacios/vmm_types.h \
573   ../include/geekos/ktypes.h \
574   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
575   ../include/palacios/vmm_list.h ../include/palacios/vmm_string.h \
576   /home/pdinda/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
577   ../include/palacios/vmm_dev_mgr.h ../include/palacios/vmm_intr.h \
578   ../include/palacios/vmm.h ../include/palacios/vm_guest.h \
579   ../include/palacios/vmm_mem.h ../include/palacios/vmm_io.h \
580   ../include/palacios/vmm_util.h ../include/palacios/vmm_shadow_paging.h \
581   ../include/palacios/vmm_paging.h ../include/palacios/vmm_irq.h