diff --git a/repos/base/include/io_mem_session/connection.h b/repos/base/include/io_mem_session/connection.h index f6e32581b..e8deb1969 100644 --- a/repos/base/include/io_mem_session/connection.h +++ b/repos/base/include/io_mem_session/connection.h @@ -33,9 +33,9 @@ struct Genode::Io_mem_connection : Connection, Io_mem_session_cl : Connection(env, session(env.parent(), - "cap_quota=%u, ram_quota=6K, " + "cap_quota=%u, ram_quota=%u, " "base=0x%p, size=0x%lx, wc=%s", - CAP_QUOTA, base, size, + CAP_QUOTA, RAM_QUOTA, base, size, write_combined ? "yes" : "no")), Io_mem_session_client(cap()) { } diff --git a/repos/base/include/io_mem_session/io_mem_session.h b/repos/base/include/io_mem_session/io_mem_session.h index a607578c6..90d774e93 100644 --- a/repos/base/include/io_mem_session/io_mem_session.h +++ b/repos/base/include/io_mem_session/io_mem_session.h @@ -41,7 +41,7 @@ struct Genode::Io_mem_session : Session * session-object allocation, its session capability, and a dataspace * capability for the handed-out memory-mapped I/O dataspace. */ - enum { CAP_QUOTA = 3 }; + enum { CAP_QUOTA = 3, RAM_QUOTA = 6 * 1024 }; virtual ~Io_mem_session() { }