ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-05-04 09:43:06 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

platform_drv: increase RAM config for -O0 builds

Browse Source
This commit is contained in:
Christian Helmuth 2015-11-12 11:00:58 +01:00
parent c47e9751bd
commit a0d92fcdb8
3 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/base/run/platform_drv.inc
View File

@ -93,7 +93,7 @@ proc append_platform_drv_config {} {
<start name=\"platform_drv\" [platform_drv_priority]>" <start name=\"platform_drv\" [platform_drv_priority]>"
append config { append config {
<resource name="RAM" quantum="3M" constrain_phys="yes"/> <resource name="RAM" quantum="4M" constrain_phys="yes"/>
<provides> <provides>
<service name="Platform"/>} <service name="Platform"/>}

2
repos/os/src/drivers/platform/spec/x86/device_pd/main.cc
View File

@ -84,7 +84,7 @@ int main(int argc, char **argv)
* Initialize server entry point * Initialize server entry point
*/ */
enum { enum {
STACK_SIZE = 4096 STACK_SIZE = 1024*sizeof(Genode::addr_t)
}; };
static Cap_connection cap; static Cap_connection cap;

2
repos/os/src/drivers/platform/spec/x86/main.cc
View File

@ -82,7 +82,7 @@ int main(int argc, char **argv)
*/ */
enum { enum {
STACK_SIZE = 2 * sizeof(addr_t)*1024, STACK_SIZE = 2 * sizeof(addr_t)*1024,
DEVICE_PD_RAM_QUOTA = 196 * 4096, DEVICE_PD_RAM_QUOTA = 256 * 4096,
}; };
static Cap_connection cap; static Cap_connection cap;