andrew f3f09aac45 Use the new gic option. While here remove extra whitespace from the ned of ... a few lines.		2015-05-10 09:37:54 +00:00
..
files.qemu	Use the new gic option. While here remove extra whitespace from the ned of	2015-05-10 09:37:54 +00:00
std.virt
virt_common.c
virt_machdep.c