eduOS/arch/x86
2014-12-23 07:52:21 +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 remove obsolete graphic field 2014-12-23 07:52:21 +01:00
mm fixes wrong return value of page_map(), fixes #2y 2014-12-20 00:47:07 +01:00