mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-21 02:01:38 +00:00
Increase "assumed" internal kernel memory size based on available memory to support allocation of framebuffer larger than 16M, which was before hardcoded. Issue #4659