ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
genode/repos/demo/src/app/scout
History
Martin Stein 181c78d482 timeout: use uint64_t for all plain time values 
This enforces the use of unsigned 64-bit values for time in the duration type,
the timeout framework, the timer session, the userland timer-drivers, and the
alarm framework on all platforms. The commit also adapts the code that uses
these tools accross all basic repositories (base, base-*, os. gems, libports,
ports, dde_*) to use unsigned 64-bit values for time as well as far as this
does not imply profound modifications.

Fixes #3208
 		2019-05-06 16:15:26 +02:00
..
data Scout: Add DroidSans-Bold10 font as tff 2014-08-12 13:08:01 +02:00
about.cc Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
browser.h Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
browser_window.cc Add missing override annotations 2019-02-19 11:12:11 +01:00
browser_window.h Add missing override annotations 2019-02-19 11:12:11 +01:00
config.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
doc.cc Capability quota accounting and trading 2017-05-31 13:16:06 +02:00
elements.cc os: reworked nitpicker_gfx/text_painter.h 2018-04-10 11:09:18 +02:00
elements.h Add missing override annotations 2019-02-19 11:12:11 +01:00
fade_icon.h Add missing override annotations 2019-02-19 11:12:11 +01:00
history.h Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
launcher.cc demo: avoid using deprecated APIs 2019-01-30 13:49:54 +01:00
launcher_config.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
main.cc timeout: use uint64_t for all plain time values 2019-05-06 16:15:26 +02:00
navbar.cc Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
png_image.cc demo: avoid using deprecated APIs 2019-01-30 13:49:54 +01:00
refracted_icon.h Add missing override annotations 2019-02-19 11:12:11 +01:00
scrollbar.cc Add missing override annotations 2019-02-19 11:12:11 +01:00
scrollbar.h Add missing override annotations 2019-02-19 11:12:11 +01:00
sky_texture.h Add missing override annotations 2019-02-19 11:12:11 +01:00
styles.h os: reworked nitpicker_gfx/text_painter.h 2018-04-10 11:09:18 +02:00
target.mk Deprecate Genode::config() 2017-01-13 13:06:54 +01:00
tick.cc demo: avoid using deprecated APIs 2019-01-30 13:49:54 +01:00
titlebar.h Add missing override annotations 2019-02-19 11:12:11 +01:00
widgets.cc Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
widgets.h Add missing override annotations 2019-02-19 11:12:11 +01:00