Morten Delenk 886e585d80 added PMM for PC		2017-07-20 17:48:44 +01:00
..
3ds9	added an untested pmm for every machine except for PC	2017-07-20 15:37:45 +01:00
3ds11	added an untested pmm for every machine except for PC	2017-07-20 15:37:45 +01:00
framebuffer	added broken raspi2 port	2017-07-20 09:26:35 +01:00
pc	added PMM for PC	2017-07-20 17:48:44 +01:00
pmm	added PMM for PC	2017-07-20 17:48:44 +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