100644 blob 5ac9e24ae0a83eaffb0c2b927406c9d643c09b74	bios.c
040000 tree 81e239d705d784b37cc511876292285f97b08106	bios
100644 blob 61535eb57bceb663fea35a1eaf9192330d52e0c4	boot.c
100644 blob c3b67d92cd59d41511ea77721fc1c92684a20cd6	cpuid.c
040000 tree f2208941afc21718e94bc56e2f2e796e1672fa5d	include
100644 blob 488a93fe0875759d9ed7802989e9c61ad0aa7ae2	init.S
100644 blob 7d478690fb54b15a8eb1c7089d8c6969b1392703	interrupt.c
100644 blob 8572c758ed4f90edd6737b6f523f1e321ce598ca	ioport.c
100644 blob 72177e7dfd91ba16750624afa8b0ff7e6775b7e2	irq.c
100644 blob 5cc4e1e5a224deff78c12854bbd05b354419b508	kvm-cpu.c
100644 blob bfa04b81aad433a31990dbd048b0d02102f958fe	kvm.c
100644 blob a984de9eca9ced3aa9577704727c038e1206fe21	mptable.c