Morten Delenk f60de0c6a7 removed kernel9 from main tree		2017-07-29 12:07:16 +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