mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-21 18:06:50 +00:00
8842ba2e1c
The commit uses a fixed kernel branch (r8), which fixes a caching bug observable in the Genode host. The quirk detecting the circumstance in the timer service is obsolete now and is removed. Fixes #1338