genode/repos/gems/sculpt/drivers
Johannes Schlatow 3a62676da8 sculpt: increase RAM quota for platform driver
The platform driver needs additional 2MB of RAM for managing IO page
tables (root table and context tables) that are shared among sessions.

genodelabs/genode#5002
2023-11-30 14:20:53 +01:00
..
linux fb_sdl: adapt RAM quota for large screen sizes 2023-10-04 13:22:05 +02:00
pc sculpt: increase RAM quota for platform driver 2023-11-30 14:20:53 +01:00