mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-22 18:22:41 +00:00
80b729703b
* relaxes the timing and reduces the test steps because pistachio is quite slow and would otherwise trigger problems with our easy approach of using a dynamic rom instead of a proper manager * provide IO_PORT and IRQ session to timer driver Ref #4819