mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-17 07:49:25 +00:00
feb253c10f
This patch allows for the assignment of RAM to a start node via a new 'ram' attribute as an alternative to traditional '<resource name="RAM">' nodes. This makes configurations more concise. It also adds support for defining a configuration-global default RAM quota, following the existing pattern of the default caps definition, e.g. the following <default> node alleviates the need to repeatedly state reasonable 'ram' and 'caps' values in each single start node. <default caps="100" ram="1M"/> Fixes #5448
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.