Morten Delenk cf16b1c37c started adding IRQ and clock sources. non-pc target are broken		2017-07-24 11:23:05 +01:00
..
3ds9	started adding IRQ and clock sources. non-pc target are broken	2017-07-24 11:23:05 +01:00
3ds11	started adding IRQ and clock sources. non-pc target are broken	2017-07-24 11:23:05 +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