Morten Delenk d0736af522 added broken raspi2 port ... fixed all arm ports		2017-07-20 09:26:35 +01:00
..
arm	added broken raspi2 port	2017-07-20 09:26:35 +01:00
x86	added kernel configuration	2017-04-23 16:09:42 +00:00
x86_64	added kernel configuration	2017-04-23 16:09:42 +00:00