mirror of
https://github.com/genodelabs/genode.git
synced 2025-06-01 07:00:55 +00:00
This commit fixes the 'Out_of_caps' handling. The previous version mistakenly upgraded the RAM instead the caps as response. The problem could be triggered by the 'decorator_stress.run' script.