ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-22 06:57:51 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
3052260249
genode/repos/os/recipes
History
Norman Feske 3052260249 Adjust terminal_crosslink RAM quota for seL4 
The dynamic buffer allocation increases the RAM demand slightly beyond
1M on seL4. Use 2M, as is already the default in pkg/terminal_crosslink.

Issue #5135
2024-04-12 12:57:30 +02:00
..
api usb: session renewal & new client API 2024-04-12 12:57:30 +02:00
pkg Adjust terminal_crosslink RAM quota for seL4 2024-04-12 12:57:30 +02:00
raw usb: session renewal & new client API 2024-04-12 12:57:30 +02:00
src depot: update recipe hashes 2024-02-29 11:08:28 +01:00