Morten Delenk dc6b62e64e Renamed the PMM to QDPMM (quick & dirty physical memory manager) ... Added skeleton of the new PMM, which uses QDPMM		2016-05-05 21:12:36 +02:00
..
dummy	Renamed the PMM to QDPMM (quick & dirty physical memory manager)	2016-05-05 21:12:36 +02:00
x86	Renamed the PMM to QDPMM (quick & dirty physical memory manager)	2016-05-05 21:12:36 +02:00
Makefile	Added dummy HAL and a cross compile build script	2016-01-28 19:50:04 +01:00