Morten Delenk 0420a31f8f added IRQs to 3ds11, made the timer faster on 3ds9		2017-07-29 10:03:10 +01:00
..
3ds9	got IRQs working on 3ds9	2017-07-29 09:53:39 +01:00
3ds11	added IRQs to 3ds11, made the timer faster on 3ds9	2017-07-29 10:03:10 +01:00
framebuffer	added broken raspi2 port	2017-07-20 09:26:35 +01:00
pc	started adding IRQ and clock sources. non-pc target are broken	2017-07-24 11:23:05 +01:00
pmm	made the PMM work and a lot faster. Does not like OOM events, seemingly	2017-07-20 18:51:52 +01:00
raspi2	added an untested pmm for every machine except for PC	2017-07-20 15:37:45 +01:00
config.py	added kernel configuration	2017-04-23 16:09:42 +00:00