daniel-k 0277f11570 fix wrong pci id for qemu pci-serial-4x		2015-01-09 09:36:04 +01:00
..
include/asm	fix bug in the calculation of the number of gdt entries	2015-01-04 04:54:02 +01:00
kernel	fix wrong pci id for qemu pci-serial-4x	2015-01-09 09:36:04 +01:00
mm	add helper function to map a page frame into the boot page table	2014-12-29 12:17:18 +01:00