100644 blob f05cc021f02cee0cb676e615f9221b1fadce681f	bios.c
040000 tree dca24c6fcd14016fe0f16c07b1e1594a636ad6ea	bios
100644 blob 61535eb57bceb663fea35a1eaf9192330d52e0c4	boot.c
100644 blob 4c140f0c57e6d5b5a9ebf210df4dedcace5726d1	cpuid.c
040000 tree f793e85458d64283bc35d5a9deb3fd148d622fc1	include
100644 blob 7d478690fb54b15a8eb1c7089d8c6969b1392703	interrupt.c
100644 blob e35d0ee93186bab0786bae497f8f89c4a0c30bfb	ioport.c
100644 blob 8dc90bf720abf1de918ad2af7c323b200fafaee9	irq.c
100644 blob b6190ed313958cf1404d0c467f6deef001add0e6	kvm-cpu.c
100644 blob ecada450c26ed7170a81e3aa9f8faefe07288ac2	kvm.c
100644 blob ea8c6e8c848f242b262e55c4c2efa67013bb099c	mptable.c