magumagu f316265973 Fix the addresses of MMIO registers. ... MMIO registers are located at 0x0C000000 and 0x0D000000, not 0xCC000000. The 0xCC000000 addresses are just an artifact of address translation.		2015-02-15 18:29:37 -08:00
..
CMakeLists.txt	Add a test for page fault handling.	2014-10-19 20:41:52 -04:00
MMIOTest.cpp	Fix the addresses of MMIO registers.	2015-02-15 18:29:37 -08:00
PageFaultTest.cpp	Add a test for page fault handling.	2014-10-19 20:41:52 -04:00