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.


*** empty log message ***
[palacios.releases.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/jarusl/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/jarusl/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/jarusl/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/jarusl/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/jarusl/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/jarusl/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/jarusl/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/jarusl/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/jarusl/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/jarusl/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/jarusl/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 geekos/io.o: ../src/geekos/io.c ../include/geekos/io.h \
44   ../include/geekos/ktypes.h \
45   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h
46 geekos/blockdev.o: ../src/geekos/blockdev.c ../include/geekos/errno.h \
47   ../include/geekos/screen.h ../include/geekos/ktypes.h \
48   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
49   ../include/geekos/fmtout.h ../include/geekos/../libc/fmtout.h \
50   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdarg.h \
51   ../include/geekos/string.h ../include/geekos/../libc/string.h \
52   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
53   ../include/geekos/malloc.h ../include/geekos/int.h \
54   ../include/geekos/kassert.h ../include/geekos/defs.h \
55   ../include/geekos/kthread.h ../include/geekos/list.h \
56   ../include/geekos/synch.h ../include/geekos/blockdev.h \
57   ../include/geekos/fileio.h
58 geekos/ide.o: ../src/geekos/ide.c ../include/geekos/serial.h \
59   ../include/geekos/irq.h ../include/geekos/int.h \
60   ../include/geekos/kassert.h ../include/geekos/screen.h \
61   ../include/geekos/ktypes.h \
62   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
63   ../include/geekos/fmtout.h ../include/geekos/../libc/fmtout.h \
64   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdarg.h \
65   ../include/geekos/defs.h ../include/geekos/string.h \
66   ../include/geekos/../libc/string.h \
67   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
68   ../include/geekos/io.h ../include/geekos/errno.h \
69   ../include/geekos/malloc.h ../include/geekos/timer.h \
70   ../include/geekos/kthread.h ../include/geekos/list.h \
71   ../include/geekos/blockdev.h ../include/geekos/fileio.h \
72   ../include/geekos/ide.h
73 geekos/keyboard.o: ../src/geekos/keyboard.c ../include/geekos/kthread.h \
74   ../include/geekos/ktypes.h \
75   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
76   ../include/geekos/list.h ../include/geekos/kassert.h \
77   ../include/geekos/screen.h ../include/geekos/fmtout.h \
78   ../include/geekos/../libc/fmtout.h \
79   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdarg.h \
80   ../include/geekos/irq.h ../include/geekos/int.h \
81   ../include/geekos/defs.h ../include/geekos/io.h \
82   ../include/geekos/keyboard.h
83 geekos/screen.o: ../src/geekos/screen.c \
84   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdarg.h \
85   ../include/geekos/kassert.h ../include/geekos/screen.h \
86   ../include/geekos/ktypes.h \
87   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
88   ../include/geekos/fmtout.h ../include/geekos/../libc/fmtout.h \
89   ../include/geekos/io.h ../include/geekos/int.h ../include/geekos/defs.h \
90   ../include/geekos/debug.h ../include/geekos/serial.h \
91   ../include/geekos/irq.h ../include/geekos/string.h \
92   ../include/geekos/../libc/string.h \
93   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h
94 geekos/timer.o: ../src/geekos/timer.c \
95   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/limits.h \
96   ../include/geekos/io.h ../include/geekos/ktypes.h \
97   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
98   ../include/geekos/int.h ../include/geekos/kassert.h \
99   ../include/geekos/screen.h ../include/geekos/fmtout.h \
100   ../include/geekos/../libc/fmtout.h \
101   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdarg.h \
102   ../include/geekos/defs.h ../include/geekos/irq.h \
103   ../include/geekos/kthread.h ../include/geekos/list.h \
104   ../include/geekos/timer.h ../include/geekos/serial.h \
105   ../include/geekos/string.h ../include/geekos/../libc/string.h \
106   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
107   ../include/geekos/debug.h
108 geekos/mem.o: ../src/geekos/mem.c ../include/geekos/defs.h \
109   ../include/geekos/ktypes.h \
110   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
111   ../include/geekos/kassert.h ../include/geekos/screen.h \
112   ../include/geekos/fmtout.h ../include/geekos/../libc/fmtout.h \
113   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdarg.h \
114   ../include/geekos/bootinfo.h ../include/geekos/gdt.h \
115   ../include/geekos/int.h ../include/geekos/malloc.h \
116   ../include/geekos/string.h ../include/geekos/../libc/string.h \
117   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
118   ../include/geekos/mem.h ../include/geekos/list.h \
119   ../include/geekos/paging.h ../include/geekos/serial.h \
120   ../include/geekos/irq.h ../include/geekos/io.h \
121   ../include/geekos/debug.h
122 geekos/crc32.o: ../src/geekos/crc32.c ../include/geekos/crc32.h \
123   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
124   ../include/geekos/ktypes.h \
125   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
126   ../include/geekos/kassert.h ../include/geekos/screen.h \
127   ../include/geekos/fmtout.h ../include/geekos/../libc/fmtout.h \
128   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdarg.h \
129   ../include/geekos/serial.h ../include/geekos/irq.h \
130   ../include/geekos/int.h ../include/geekos/defs.h \
131   ../include/geekos/string.h ../include/geekos/../libc/string.h \
132   ../include/geekos/io.h ../include/geekos/debug.h
133 geekos/gdt.o: ../src/geekos/gdt.c ../include/geekos/kassert.h \
134   ../include/geekos/screen.h ../include/geekos/ktypes.h \
135   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
136   ../include/geekos/fmtout.h ../include/geekos/../libc/fmtout.h \
137   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdarg.h \
138   ../include/geekos/segment.h ../include/geekos/int.h \
139   ../include/geekos/defs.h ../include/geekos/tss.h \
140   ../include/geekos/gdt.h ../include/libc/string.h \
141   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
142   ../include/geekos/debug.h ../include/geekos/serial.h \
143   ../include/geekos/irq.h ../include/geekos/string.h \
144   ../include/geekos/../libc/string.h ../include/geekos/io.h
145 geekos/tss.o: ../src/geekos/tss.c ../include/geekos/kassert.h \
146   ../include/geekos/screen.h ../include/geekos/ktypes.h \
147   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
148   ../include/geekos/fmtout.h ../include/geekos/../libc/fmtout.h \
149   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdarg.h \
150   ../include/geekos/defs.h ../include/geekos/gdt.h \
151   ../include/geekos/segment.h ../include/geekos/string.h \
152   ../include/geekos/../libc/string.h \
153   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
154   ../include/geekos/tss.h ../include/geekos/serial.h \
155   ../include/geekos/irq.h ../include/geekos/int.h ../include/geekos/io.h \
156   ../include/geekos/debug.h
157 geekos/segment.o: ../src/geekos/segment.c ../include/geekos/kassert.h \
158   ../include/geekos/screen.h ../include/geekos/ktypes.h \
159   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
160   ../include/geekos/fmtout.h ../include/geekos/../libc/fmtout.h \
161   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdarg.h \
162   ../include/geekos/string.h ../include/geekos/../libc/string.h \
163   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
164   ../include/geekos/tss.h ../include/geekos/segment.h
165 geekos/bget.o: ../src/geekos/bget.c ../include/geekos/string.h \
166   ../include/geekos/../libc/string.h \
167   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
168   ../include/geekos/kassert.h ../include/geekos/screen.h \
169   ../include/geekos/ktypes.h \
170   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
171   ../include/geekos/fmtout.h ../include/geekos/../libc/fmtout.h \
172   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdarg.h \
173   ../include/geekos/bget.h
174 geekos/malloc.o: ../src/geekos/malloc.c ../include/geekos/screen.h \
175   ../include/geekos/ktypes.h \
176   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
177   ../include/geekos/fmtout.h ../include/geekos/../libc/fmtout.h \
178   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdarg.h \
179   ../include/geekos/int.h ../include/geekos/kassert.h \
180   ../include/geekos/defs.h ../include/geekos/bget.h \
181   ../include/geekos/malloc.h
182 geekos/synch.o: ../src/geekos/synch.c ../include/geekos/kthread.h \
183   ../include/geekos/ktypes.h \
184   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
185   ../include/geekos/list.h ../include/geekos/kassert.h \
186   ../include/geekos/screen.h ../include/geekos/fmtout.h \
187   ../include/geekos/../libc/fmtout.h \
188   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdarg.h \
189   ../include/geekos/int.h ../include/geekos/defs.h \
190   ../include/geekos/synch.h
191 geekos/kthread.o: ../src/geekos/kthread.c ../include/geekos/kassert.h \
192   ../include/geekos/screen.h ../include/geekos/ktypes.h \
193   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
194   ../include/geekos/fmtout.h ../include/geekos/../libc/fmtout.h \
195   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdarg.h \
196   ../include/geekos/defs.h ../include/geekos/int.h \
197   ../include/geekos/mem.h ../include/geekos/list.h \
198   ../include/geekos/paging.h ../include/geekos/bootinfo.h \
199   ../include/geekos/symbol.h ../include/geekos/string.h \
200   ../include/geekos/../libc/string.h \
201   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
202   ../include/geekos/kthread.h ../include/geekos/malloc.h \
203   ../include/geekos/serial.h ../include/geekos/irq.h \
204   ../include/geekos/io.h ../include/geekos/debug.h
205 geekos/serial.o: ../src/geekos/serial.c ../include/geekos/serial.h \
206   ../include/geekos/irq.h ../include/geekos/int.h \
207   ../include/geekos/kassert.h ../include/geekos/screen.h \
208   ../include/geekos/ktypes.h \
209   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
210   ../include/geekos/fmtout.h ../include/geekos/../libc/fmtout.h \
211   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdarg.h \
212   ../include/geekos/defs.h ../include/geekos/string.h \
213   ../include/geekos/../libc/string.h \
214   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
215   ../include/geekos/io.h ../include/geekos/reboot.h \
216   ../include/geekos/gdt.h ../include/geekos/idt.h
217 geekos/reboot.o: ../src/geekos/reboot.c ../include/geekos/reboot.h \
218   ../include/libc/string.h \
219   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h
220 geekos/paging.o: ../src/geekos/paging.c ../include/geekos/string.h \
221   ../include/geekos/../libc/string.h \
222   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
223   ../include/geekos/int.h ../include/geekos/kassert.h \
224   ../include/geekos/screen.h ../include/geekos/ktypes.h \
225   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
226   ../include/geekos/fmtout.h ../include/geekos/../libc/fmtout.h \
227   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdarg.h \
228   ../include/geekos/defs.h ../include/geekos/idt.h \
229   ../include/geekos/kthread.h ../include/geekos/list.h \
230   ../include/geekos/mem.h ../include/geekos/paging.h \
231   ../include/geekos/bootinfo.h ../include/geekos/malloc.h \
232   ../include/geekos/gdt.h ../include/geekos/segment.h \
233   ../include/geekos/crc32.h ../include/geekos/serial.h \
234   ../include/geekos/irq.h ../include/geekos/io.h \
235   ../include/geekos/debug.h
236 geekos/debug.o: ../src/geekos/debug.c ../include/geekos/debug.h \
237   ../include/geekos/serial.h ../include/geekos/irq.h \
238   ../include/geekos/int.h ../include/geekos/kassert.h \
239   ../include/geekos/screen.h ../include/geekos/ktypes.h \
240   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
241   ../include/geekos/fmtout.h ../include/geekos/../libc/fmtout.h \
242   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdarg.h \
243   ../include/geekos/defs.h ../include/geekos/string.h \
244   ../include/geekos/../libc/string.h \
245   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
246   ../include/geekos/io.h
247 geekos/vmm_stubs.o: ../src/geekos/vmm_stubs.c ../include/geekos/vmm_stubs.h \
248   ../include/geekos/mem.h ../include/geekos/ktypes.h \
249   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
250   ../include/geekos/defs.h ../include/geekos/list.h \
251   ../include/geekos/kassert.h ../include/geekos/screen.h \
252   ../include/geekos/fmtout.h ../include/geekos/../libc/fmtout.h \
253   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdarg.h \
254   ../include/geekos/paging.h ../include/geekos/bootinfo.h \
255   ../include/geekos/malloc.h ../include/geekos/serial.h \
256   ../include/geekos/irq.h ../include/geekos/int.h \
257   ../include/geekos/string.h ../include/geekos/../libc/string.h \
258   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
259   ../include/geekos/io.h
260 geekos/main.o: ../src/geekos/main.c ../include/geekos/bootinfo.h \
261   ../include/geekos/string.h ../include/geekos/../libc/string.h \
262   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
263   ../include/geekos/screen.h ../include/geekos/ktypes.h \
264   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
265   ../include/geekos/fmtout.h ../include/geekos/../libc/fmtout.h \
266   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdarg.h \
267   ../include/geekos/mem.h ../include/geekos/defs.h \
268   ../include/geekos/list.h ../include/geekos/kassert.h \
269   ../include/geekos/paging.h ../include/geekos/crc32.h \
270   ../include/geekos/tss.h ../include/geekos/int.h \
271   ../include/geekos/kthread.h ../include/geekos/trap.h \
272   ../include/geekos/timer.h ../include/geekos/keyboard.h \
273   ../include/geekos/io.h ../include/geekos/serial.h \
274   ../include/geekos/irq.h ../include/geekos/reboot.h \
275   ../include/geekos/ide.h ../include/geekos/malloc.h \
276   ../include/geekos/debug.h ../include/palacios/vmm.h \
277   ../include/palacios/vmm_types.h ../include/palacios/vmm_mem.h \
278   ../include/palacios/vm_guest.h ../include/palacios/vmm_io.h \
279   ../include/palacios/vmm_util.h ../include/palacios/vmm_shadow_paging.h \
280   ../include/palacios/vmm_paging.h ../include/geekos/gdt.h \
281   ../include/geekos/vmm_stubs.h
282 common/fmtout.o: ../src/common/fmtout.c \
283   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdarg.h \
284   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
285   ../include/geekos/string.h ../include/geekos/../libc/string.h \
286   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/limits.h \
287   ../include/geekos/fmtout.h ../include/geekos/../libc/fmtout.h
288 common/string.o: ../src/common/string.c ../include/libc/fmtout.h \
289   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdarg.h \
290   ../include/libc/string.h \
291   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h
292 common/memmove.o: ../src/common/memmove.c ../include/libc/string.h \
293   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h
294 palacios/vm_guest.o: ../src/palacios/vm_guest.c ../include/palacios/vm_guest.h \
295   ../include/palacios/vmm_mem.h ../include/palacios/vmm_types.h \
296   ../include/palacios/vmm_io.h ../include/palacios/vmm_util.h \
297   ../include/palacios/vmm_shadow_paging.h \
298   ../include/palacios/vmm_paging.h
299 palacios/svm.o: ../src/palacios/svm.c ../include/palacios/svm.h \
300   ../include/palacios/vmm_util.h ../include/palacios/vmm_types.h \
301   ../include/palacios/vmm.h ../include/geekos/string.h \
302   ../include/geekos/../libc/string.h \
303   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
304   ../include/palacios/vmm_mem.h ../include/palacios/vm_guest.h \
305   ../include/palacios/vmm_io.h ../include/palacios/vmm_shadow_paging.h \
306   ../include/palacios/vmm_paging.h ../include/palacios/vmcb.h \
307   ../include/palacios/svm_handler.h ../include/palacios/vmm_debug.h \
308   ../include/palacios/vm_guest_mem.h
309 palacios/svm_handler.o: ../src/palacios/svm_handler.c \
310   ../include/palacios/svm_handler.h ../include/palacios/svm.h \
311   ../include/palacios/vmm_util.h ../include/palacios/vmm_types.h \
312   ../include/palacios/vmm.h ../include/geekos/string.h \
313   ../include/geekos/../libc/string.h \
314   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
315   ../include/palacios/vmm_mem.h ../include/palacios/vm_guest.h \
316   ../include/palacios/vmm_io.h ../include/palacios/vmm_shadow_paging.h \
317   ../include/palacios/vmm_paging.h ../include/palacios/vmcb.h \
318   ../include/palacios/svm_ctrl_regs.h ../include/palacios/svm_io.h
319 palacios/vmm.o: ../src/palacios/vmm.c ../include/palacios/vmm.h \
320   ../include/palacios/vmm_types.h ../include/geekos/string.h \
321   ../include/geekos/../libc/string.h \
322   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
323   ../include/palacios/vmm_mem.h ../include/palacios/vm_guest.h \
324   ../include/palacios/vmm_io.h ../include/palacios/vmm_util.h \
325   ../include/palacios/vmm_shadow_paging.h \
326   ../include/palacios/vmm_paging.h ../include/palacios/svm.h \
327   ../include/palacios/vmcb.h ../include/palacios/vmx.h \
328   ../include/palacios/vmcs.h ../include/palacios/vmcs_gen.h
329 palacios/vmm_util.o: ../src/palacios/vmm_util.c ../include/palacios/vmm_util.h \
330   ../include/palacios/vmm_types.h ../include/palacios/vmm.h \
331   ../include/geekos/string.h ../include/geekos/../libc/string.h \
332   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
333   ../include/palacios/vmm_mem.h ../include/palacios/vm_guest.h \
334   ../include/palacios/vmm_io.h ../include/palacios/vmm_shadow_paging.h \
335   ../include/palacios/vmm_paging.h
336 palacios/svm_ctrl_regs.o: ../src/palacios/svm_ctrl_regs.c \
337   ../include/palacios/svm_ctrl_regs.h ../include/palacios/vm_guest.h \
338   ../include/palacios/vmm_mem.h ../include/palacios/vmm_types.h \
339   ../include/palacios/vmm_io.h ../include/palacios/vmm_util.h \
340   ../include/palacios/vmm_shadow_paging.h \
341   ../include/palacios/vmm_paging.h ../include/palacios/vmm.h \
342   ../include/geekos/string.h ../include/geekos/../libc/string.h \
343   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
344   ../include/palacios/vmcb.h ../include/palacios/vmm_emulate.h \
345   ../include/palacios/vm_guest_mem.h ../include/palacios/vmm_ctrl_regs.h
346 palacios/vmcb.o: ../src/palacios/vmcb.c ../include/palacios/vmcb.h \
347   ../include/palacios/vmm_types.h ../include/palacios/vmm.h \
348   ../include/geekos/string.h ../include/geekos/../libc/string.h \
349   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
350   ../include/palacios/vmm_mem.h ../include/palacios/vm_guest.h \
351   ../include/palacios/vmm_io.h ../include/palacios/vmm_util.h \
352   ../include/palacios/vmm_shadow_paging.h \
353   ../include/palacios/vmm_paging.h
354 palacios/vmm_mem.o: ../src/palacios/vmm_mem.c ../include/palacios/vmm_mem.h \
355   ../include/palacios/vmm_types.h ../include/palacios/vmm.h \
356   ../include/geekos/string.h ../include/geekos/../libc/string.h \
357   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
358   ../include/palacios/vm_guest.h ../include/palacios/vmm_io.h \
359   ../include/palacios/vmm_util.h ../include/palacios/vmm_shadow_paging.h \
360   ../include/palacios/vmm_paging.h
361 palacios/vmm_paging.o: ../src/palacios/vmm_paging.c \
362   ../include/palacios/vmm_paging.h ../include/palacios/vmm_types.h \
363   ../include/palacios/vmm_mem.h ../include/palacios/vmm_util.h \
364   ../include/palacios/vmm.h ../include/geekos/string.h \
365   ../include/geekos/../libc/string.h \
366   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
367   ../include/palacios/vm_guest.h ../include/palacios/vmm_io.h \
368   ../include/palacios/vmm_shadow_paging.h \
369   ../include/palacios/vm_guest_mem.h
370 palacios/vmm_io.o: ../src/palacios/vmm_io.c ../include/palacios/vmm_io.h \
371   ../include/palacios/vmm_types.h ../include/palacios/vmm_util.h \
372   ../include/palacios/vmm_string.h \
373   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
374   ../include/palacios/vmm.h ../include/geekos/string.h \
375   ../include/geekos/../libc/string.h ../include/palacios/vmm_mem.h \
376   ../include/palacios/vm_guest.h ../include/palacios/vmm_shadow_paging.h \
377   ../include/palacios/vmm_paging.h
378 palacios/vmm_debug.o: ../src/palacios/vmm_debug.c ../include/palacios/vmm_debug.h \
379   ../include/palacios/vmm.h ../include/palacios/vmm_types.h \
380   ../include/geekos/string.h ../include/geekos/../libc/string.h \
381   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
382   ../include/palacios/vmm_mem.h ../include/palacios/vm_guest.h \
383   ../include/palacios/vmm_io.h ../include/palacios/vmm_util.h \
384   ../include/palacios/vmm_shadow_paging.h \
385   ../include/palacios/vmm_paging.h
386 palacios/svm_io.o: ../src/palacios/svm_io.c ../include/palacios/svm_io.h \
387   ../include/palacios/vm_guest.h ../include/palacios/vmm_mem.h \
388   ../include/palacios/vmm_types.h ../include/palacios/vmm_io.h \
389   ../include/palacios/vmm_util.h ../include/palacios/vmm_shadow_paging.h \
390   ../include/palacios/vmm_paging.h ../include/palacios/vmcb.h \
391   ../include/palacios/vmm.h ../include/geekos/string.h \
392   ../include/geekos/../libc/string.h \
393   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
394   ../include/palacios/vmm_ctrl_regs.h ../include/palacios/vmm_emulate.h \
395   ../include/palacios/vm_guest_mem.h
396 palacios/vmm_shadow_paging.o: ../src/palacios/vmm_shadow_paging.c \
397   ../include/palacios/vmm_shadow_paging.h ../include/palacios/vmm_util.h \
398   ../include/palacios/vmm_types.h ../include/palacios/vmm_paging.h \
399   ../include/palacios/vmm_mem.h ../include/palacios/vmm.h \
400   ../include/geekos/string.h ../include/geekos/../libc/string.h \
401   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
402   ../include/palacios/vm_guest.h ../include/palacios/vmm_io.h \
403   ../include/palacios/vm_guest_mem.h
404 palacios/vm_guest_mem.o: ../src/palacios/vm_guest_mem.c \
405   ../include/palacios/vm_guest_mem.h ../include/palacios/vm_guest.h \
406   ../include/palacios/vmm_mem.h ../include/palacios/vmm_types.h \
407   ../include/palacios/vmm_io.h ../include/palacios/vmm_util.h \
408   ../include/palacios/vmm_shadow_paging.h \
409   ../include/palacios/vmm_paging.h ../include/palacios/vmm.h \
410   ../include/geekos/string.h ../include/geekos/../libc/string.h \
411   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h
412 palacios/vmx.o: ../src/palacios/vmx.c ../include/geekos/cpu.h \
413   ../include/geekos/io_devs.h ../include/geekos/io.h \
414   ../include/geekos/ktypes.h \
415   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stdbool.h \
416   ../include/palacios/vmx.h ../include/palacios/vmm_types.h \
417   ../include/palacios/vmcs.h ../include/palacios/vmcs_gen.h \
418   ../include/palacios/vmm.h ../include/geekos/string.h \
419   ../include/geekos/../libc/string.h \
420   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
421   ../include/palacios/vmm_mem.h ../include/palacios/vm_guest.h \
422   ../include/palacios/vmm_io.h ../include/palacios/vmm_util.h \
423   ../include/palacios/vmm_shadow_paging.h \
424   ../include/palacios/vmm_paging.h ../include/palacios/vmm_string.h
425 palacios/vmcs_gen.o: ../src/palacios/vmcs_gen.c ../include/palacios/vmcs_gen.h \
426   ../include/palacios/vmcs.h ../include/palacios/vmm_types.h \
427   ../include/palacios/vmm.h ../include/geekos/string.h \
428   ../include/geekos/../libc/string.h \
429   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
430   ../include/palacios/vmm_mem.h ../include/palacios/vm_guest.h \
431   ../include/palacios/vmm_io.h ../include/palacios/vmm_util.h \
432   ../include/palacios/vmm_shadow_paging.h \
433   ../include/palacios/vmm_paging.h
434 palacios/vmcs.o: ../src/palacios/vmcs.c ../include/palacios/vmcs.h \
435   ../include/palacios/vmm_types.h ../include/palacios/vmcs_gen.h \
436   ../include/palacios/vmm.h ../include/geekos/string.h \
437   ../include/geekos/../libc/string.h \
438   /home/jarusl/vmm-dev/devtools/i386/lib/gcc/i386-elf/3.4.6/include/stddef.h \
439   ../include/palacios/vmm_mem.h ../include/palacios/vm_guest.h \
440   ../include/palacios/vmm_io.h ../include/palacios/vmm_util.h \
441   ../include/palacios/vmm_shadow_paging.h \
442   ../include/palacios/vmm_paging.h