ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-19 03:06:39 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

vm_stress: fix resource request by seoul-debian32

Browse Source 
+ increase VM RAM to same size as used by vbox5
This commit is contained in:
Alexander Boettcher 2020-06-29 14:52:29 +02:00 committed by Norman Feske
parent 4450b37ff5
commit 3fb5ae4fdc
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/ports/run/seoul.inc
View File

@ -87,7 +87,7 @@ build $build_components
# write Seoul config file
set vm_cfg_fd [open "bin/vm_seoul.cfg" w]
puts $vm_cfg_fd "<config map_small=\"$map_small\" vmm_vcpu_same_cpu=\"$vmm_vcpu_same_cpu\">"
puts $vm_cfg_fd "<config map_small=\"$map_small\" vmm_vcpu_same_cpu=\"$vmm_vcpu_same_cpu\" vmm_memory=\"14M\">"
puts $vm_cfg_fd { <machine verbose="no">
<mem start="0x0" end="0x9a000"/>
<mem start="0x100000" end="0xfffff000"/>

2
repos/ports/run/vm_stress_seoul-debian32.run
View File

@ -43,7 +43,7 @@ set use_framebuffer 1
set use_fancy_stuff 0
set use_top 0
set memory_vmm_vm "512M"
set memory_vmm_vm "1280M"
set vcpus_to_be_used 2