denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 20:42:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

system_shell: adjust terminal RAM quota to work in 4k

Browse Source 
A system shell that works in a small window stops working when maximized
on a 4k screen, because the terminal component runs out of RAM.

With the adjusted RAM quotas the system shell works on 4k displays.

Issue #5356
This commit is contained in:
Benjamin Lamowski
2024-10-22 11:32:38 +02:00
committed by Christian Helmuth
parent 5c75f1efa7
commit a25d19169b
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
repos/ports/recipes/pkg/system_shell/runtime
View File

@@ -1,4 +1,4 @@
<runtime ram="76M" caps="1000" binary="init" config="system_shell.config">
<runtime ram="108M" caps="1000" binary="init" config="system_shell.config">
<requires>
<gui/>

2
repos/ports/recipes/raw/system_shell/system_shell.config
View File

@@ -16,7 +16,7 @@
<default caps="100"/>
<start name="terminal" caps="150">
<resource name="RAM" quantum="16M"/>
<resource name="RAM" quantum="48M"/>
<provides> <service name="Terminal"/> </provides>
<config copy="yes" paste="yes">
<initial width="800" height="600"/>