platform_drv: increase RAM config for -O0 builds (again)

This commit is contained in:
Christian Helmuth 2015-12-14 17:07:25 +01:00
parent 40b8da8755
commit 971b531d58
1 changed files with 1 additions and 1 deletions

View File

@ -141,7 +141,7 @@ namespace Platform {
Device_pd_client child;
Genode::Allocator_guard &_md_alloc;
enum { DEVICE_PD_RAM_QUOTA = 160 * 4096 };
enum { DEVICE_PD_RAM_QUOTA = 180 * 4096 };
Devicepd (Genode::Rpc_entrypoint &ep,
Genode::Allocator_guard &md_alloc,