Morten Delenk 4459db2f02 switched the physical memory manager		2017-08-26 14:45:02 +01:00
..
3ds9.mc	added an untested pmm for every machine except for PC	2017-07-20 15:37:45 +01:00
3ds11.mc	added an untested pmm for every machine except for PC	2017-07-20 15:37:45 +01:00
raspi2.mc	added PMM for PC	2017-07-20 17:48:44 +01:00
wii.mc	switched the physical memory manager	2017-08-26 14:45:02 +01:00