ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-02-07 20:00:23 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
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