Josef Söntgen 7ac23a2419 libports: use Timer_session as SDL's timer backend ... A timer session is now used instead of a jiffy counter. This way, libSDL can use a time source that is not bound to the granularity our libc's nanosleep implementation. Currently, the granularity of nanosleep is in the order of 10 milliseconds, which is far to coarse for the use of SDL-using applications such as DosBox. Fixes #934.		2013-11-05 12:14:37 +01:00
..
app	nitpicker: Late allocation of virtual framebuffer	2013-10-22 08:00:16 +02:00
drivers/framebuffer/vesa	os: Move Genode::Config into 'config' library	2013-09-23 14:25:58 +02:00
lib	libports: use Timer_session as SDL's timer backend	2013-11-05 12:14:37 +01:00
server	os: Split Session_label from Session_policy	2013-09-23 14:25:59 +02:00
test	libports: add SDL_net	2013-11-05 12:13:19 +01:00