Martin Stein 0d803266ea hw: touch kernel scheduler and timer less often ...

fix #857
fix #855

2013-08-27 16:04:10 +02:00

..

base

hw & signal: consider initial SLAB blocks

2013-08-13 17:08:26 +02:00

core

hw: touch kernel scheduler and timer less often

2013-08-27 16:04:10 +02:00

platform

hw: use generic genode.ld

2013-07-05 12:37:43 +02:00