ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-29 10:08:53 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
965ffc1df2
genode/base-foc/config
History
Stefan Kalkowski 2e1bfe5d9b Fiasco.OC: always use fixed priority scheduler 
The alternative weighted scheduler might lead to some threads don't make
any progress anymore (take for example the signal test). So we have to use
the fixed priority scheduler also in the kernel configuration for 64 Bit.
2012-09-19 14:27:42 +02:00
..
panda.kernel Fiasco.OC: update to recent version (svn rev. 40) 2012-09-18 10:53:16 +02:00
panda.user Fiasco.OC: update to recent version (svn rev. 40) 2012-09-18 10:53:16 +02:00
pbxa9.kernel Fiasco.OC: update to recent version (svn rev. 40) 2012-09-18 10:53:16 +02:00
pbxa9.user Fiasco.OC: update to recent version (svn rev. 40) 2012-09-18 10:53:16 +02:00
vea9x4.kernel Fiasco.OC: update to recent version (svn rev. 40) 2012-09-18 10:53:16 +02:00
vea9x4.user Fiasco.OC: update to recent version (svn rev. 40) 2012-09-18 10:53:16 +02:00
x86_32.kernel Fiasco.OC: update to recent version (svn rev. 40) 2012-09-18 10:53:16 +02:00
x86_64.kernel Fiasco.OC: always use fixed priority scheduler 2012-09-19 14:27:42 +02:00