mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 20:42:56 +01:00
As the message "replay: missing dataspace info for ..." occurs multiple times on every fork, it slows down at least noux_tool_chain_auto with hw_arndale about 10 seconds. To avoid this overhead in release mode I've turned it into a warning rather than an error. ref #1096