4 commits

Author	SHA1	Message	Date
Morten Delenk	cf16b1c37c	started adding IRQ and clock sources. non-pc target are broken	2017-07-24 11:23:05 +01:00
Morten Delenk	886e585d80	added PMM for PC	2017-07-20 17:48:44 +01:00
Morten Delenk	8f9423b5cd	added an untested pmm for every machine except for PC	2017-07-20 15:37:45 +01:00
Morten Delenk	d0736af522	added broken raspi2 port ... fixed all arm ports	2017-07-20 09:26:35 +01:00