mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-05 13:34:11 +00:00
1208d14681
* Adds public timeout syscalls to kernel API
* Kernel::timeout installs a timeout and binds a signal context to it that
shall trigger once the timeout expired
* With Kernel::timeout_max_us, one can get the maximum installable timeout
* Kernel::timeout_age_us returns the time that has passed since the
calling threads last timeout installation
* Removes all device specific back-ends for the base-hw timer driver and
implements a generic back-end taht uses the kernel timeout API
* Adds assertions about the kernel timer frequency that originate from the
requirements of the the kernel timeout API and adjusts all timers
accordingly by using the their internal dividers
* Introduces the Kernel::Clock class. As member of each Kernel::Cpu object
it combines the management of the timer of the CPU with a timeout scheduler.
Not only the timeout API uses the timeout scheduler but also the CPUs job
scheduler for installing scheduling timeouts.
* Introduces the Kernel::time_t type for timer tic values and values inherited
from timer tics (like microseconds).
Fixes #1972
|
||
|---|---|---|
| .. | ||
| 32bit.mk | ||
| 64bit.mk | ||
| arm_v6.mk | ||
| arm_v7.mk | ||
| arm_v7a.mk | ||
| arm.mk | ||
| arndale.mk | ||
| cortex_a8.mk | ||
| cortex_a9.mk | ||
| cortex_a15.mk | ||
| experimental.mk | ||
| exynos5.mk | ||
| fpu_vfpv3.mk | ||
| imx6.mk | ||
| imx53.mk | ||
| odroid_x2.mk | ||
| odroid_xu.mk | ||
| panda.mk | ||
| pbxa9.mk | ||
| pl011.mk | ||
| release.mk | ||
| rpi.mk | ||
| tl16c750.mk | ||
| x86_32.mk | ||
| x86_64.mk | ||
| zynq_qemu.mk | ||
| zynq.mk | ||