ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-04-12 13:48:30 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

noux: make RM replay less noisy in release mode

Browse Source 
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
This commit is contained in:
Martin Stein 2014-03-12 13:41:05 +01:00 committed by Norman Feske
parent a34227cdda
commit ff28a89000
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
ports/src/noux/rm_session_component.h
View File

@ -175,7 +175,7 @@ class Noux::Rm_session_component : public Rpc_object<Rm_session>
} else {
PERR("replay: missing ds_info for dataspace at addr 0x%lx",
PWRN("replay: missing ds_info for dataspace at addr 0x%lx",
curr->local_addr);
/*