Alexander Boettcher 7d232cafb0 timer: fix corner case if counter is 0 ...

If counter drops to 0, the wrap flag is set also. That means we have actually
no wrap around. The patch avoids to add too much time to the elapsed time
variable.

Issue #1106

2014-04-01 16:42:37 +02:00

..

app

Adapt GDB commands to ldso changes

2014-02-28 10:11:12 +01:00

drivers

timer: fix corner case if counter is 0

2014-04-01 16:42:37 +02:00

init

os: Move Genode::Config into 'config' library

2013-09-23 14:25:58 +02:00

lib

ldso: flush the log console in 'errx()'

2014-03-31 21:05:48 +02:00

platform

os: remove startup lib from dynamic programs

2014-02-25 14:58:07 +01:00

server

nitpicker: Fix implementation of Mode interface

2014-04-01 16:37:40 +02:00

test

framebuffer.run: refresh screen after test step

2014-03-14 13:20:06 +01:00