mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-07 11:27:29 +00:00
The NIC router uses the timer for relatively coarse-grained timeouts. It therefore suffices to update and store the current time when the NIC router is signalled and use the cached time instead. This prevents frequent syscalls or RPCs when acquiring the current time for every packet. genodelabs/genode#4555
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.