genode/base-foc/config
2012-11-23 12:20:27 +01:00
..
imx53.kernel Fiasco.OC: enable i.MX53 platform 2012-11-23 12:20:27 +01:00
imx53.user Fiasco.OC: enable i.MX53 platform 2012-11-23 12:20:27 +01:00
panda.kernel Fiasco.OC: update to recent version (svn rev. 40) 2012-09-18 10:53:16 +02:00
panda.user Fiasco.OC: enable i.MX53 platform 2012-11-23 12:20:27 +01:00
pbxa9.kernel Fiasco.OC: update to recent version (svn rev. 40) 2012-09-18 10:53:16 +02:00
pbxa9.user Fiasco.OC: enable i.MX53 platform 2012-11-23 12:20:27 +01:00
vea9x4.kernel Fiasco.OC: update to recent version (svn rev. 40) 2012-09-18 10:53:16 +02:00
vea9x4.user Fiasco.OC: enable i.MX53 platform 2012-11-23 12:20:27 +01:00
x86_32.kernel Fiasco.OC: update to recent version (svn rev. 40) 2012-09-18 10:53:16 +02:00
x86_32.user Fiasco.OC: enable i.MX53 platform 2012-11-23 12:20:27 +01:00
x86_64.kernel Fiasco.OC: always use fixed priority scheduler 2012-09-19 14:27:42 +02:00
x86_64.user Fiasco.OC: enable i.MX53 platform 2012-11-23 12:20:27 +01:00