mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-30 10:38:55 +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/base | ||
| 64bit/base | ||
| arm | ||
| arm_v6/cpu | ||
| arm_v7/cpu | ||
| arndale/drivers | ||
| exynos/drivers | ||
| exynos4 | ||
| exynos5 | ||
| imx/drivers | ||
| imx6/drivers | ||
| imx53/drivers | ||
| imx53_qsb/drivers | ||
| odroid_x2/drivers | ||
| odroid_xu/drivers | ||
| panda/drivers | ||
| pbxa9/drivers | ||
| pl011/drivers | ||
| rpi/drivers | ||
| tl16c750/drivers | ||
| usb_armory/drivers | ||
| x86 | ||
| x86_32/cpu | ||
| x86_64/cpu | ||
| xilinx/drivers | ||
| zynq/drivers | ||
| zynq_qemu/drivers | ||