eduOS/arch/x86
2014-12-20 00:47:07 +01:00
..
include/asm add helper functions to determine if the pci device use MMIO or IO ports 2014-12-19 11:35:24 +01:00
kernel Merge branch 'stage6' of https://github.com/RWTH-OS/eduOS into stage6 2014-12-19 22:05:15 +01:00
mm fixes wrong return value of page_map(), fixes #2y 2014-12-20 00:47:07 +01:00