genode/repos/ports/recipes/raw
Benjamin Lamowski a25d19169b system_shell: adjust terminal RAM quota to work in 4k
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
2024-10-30 08:14:54 +01:00
..
gdb_x86 depot: update recipe hashes 2024-04-26 09:59:36 +02:00
socat_tcp ports: add socat_tcp pkg 2023-10-04 13:22:08 +02:00
system_shell system_shell: adjust terminal RAM quota to work in 4k 2024-10-30 08:14:54 +01:00
vbox5-nova-sculpt depot: update recipe hashes 2024-04-12 15:08:01 +02:00
vbox6 depot: update recipe hashes 2022-04-28 11:52:06 +02:00