genode/repos/os/src/drivers
Martin Stein 3c49113e64 timer & hw_arndale: don't use any float ops
The timer driver previously used floating point operations to translate us to
tics and vice versa. This isn't necessary as the rounding error isn't critical
for the given values but expensive which should be avoided in a code path that
must be executed pretty frequent with high priority.

Ref #1628
2015-07-21 09:30:12 +02:00
..
acpi pci: convert to platform_drv 2015-06-22 14:43:34 +02:00
ahci pci: convert to platform_drv 2015-06-22 14:43:34 +02:00
audio_out/linux Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
framebuffer remove Versatile Express board (Fix #1611) 2015-07-07 19:48:06 +02:00
gpio os: use async IRQ and server lib in drivers 2015-04-23 16:47:59 +02:00
input pci: convert to platform_drv 2015-06-22 14:43:34 +02:00
nic Replace Nic driver interface by customizable component 2015-07-01 14:46:16 +02:00
platform foc: Odroid-X2 basic support 2015-07-21 09:28:25 +02:00
rtc/x86 os: structured timestamp in Rtc session 2015-02-16 13:40:34 +01:00
sd_card sd_card: SDHCI quirk for 136-bit responses 2015-07-01 14:46:15 +02:00
timer timer & hw_arndale: don't use any float ops 2015-07-21 09:30:12 +02:00
uart uart_drv: enable RX channel for exynos5 driver 2015-02-27 11:48:05 +01:00