Now it works.master
commit5ae786cd5fcaf1ec30f98dbf3a3e546f5f2cb9eb
authorNicola Manica <nico@nicodeb.residential.it>
Mon, 6 Jul 2009 10:29:57 +0000 (6 12:29 +0200)
committerNicola Manica <nico@nicodeb.residential.it>
Mon, 6 Jul 2009 10:29:57 +0000 (6 12:29 +0200)
treea82953464469bb3700cfb033b9ab85e5aba4a8c1
parenta43d7785d4b385e670c9871e370acbb573704a9c
Now it works.

BUG: check the accounting time
kernel/sched.c
kernel/sched_cbs.c