Morten Delenk 2ccf881b04 added kernel configuration		2017-04-23 16:09:42 +00:00
..
3ds9	added kernel configuration	2017-04-23 16:09:42 +00:00
3ds11	added kernel configuration	2017-04-23 16:09:42 +00:00
pc	added kernel configuration	2017-04-23 16:09:42 +00:00
config.py	added kernel configuration	2017-04-23 16:09:42 +00:00