genode

mirror of https://github.com/genodelabs/genode.git synced 2025-02-20 17:52:52 +00:00

History

Norman Feske c7b739cc61 bomb.run: define resource preservation for init

This patch increases init's preserved RAM and capability quota to
account for a current limitation of init with respect to the creation of
sessions to parent services:

In contrast to regular routed services, sessions to parent services are
created via 'Env::session'. The implementation of 'Env::session'
automatically upgrades session quotas on demand, which is the desired
behavior for regular 'Connection' objects. However, for sessions
established on the behalf of init's children, we would need to reflect
the error condition to the child instead of resolving it locally within
init (by subsidizing the session with init's quota). This patch leaves
this issue unresolved but fixes the symptom for the bomb test. It is
meant as an interim solution until the handling of parent sessions is
revised.

2017-06-29 11:59:53 +02:00

doc

Remove obsolete RAM/CAP services from run scripts

2017-05-31 13:16:22 +02:00

include

usb: use if-else in packet_handler

2017-06-19 12:35:57 +02:00

lib/mk

timer connection: no interpolation on arm w/o hw

2017-05-31 17:50:28 +02:00

recipes

server/fs_report: write reports to file-systems

2017-06-19 12:35:54 +02:00

run

bomb.run: define resource preservation for init

2017-06-29 11:59:53 +02:00

src

bomb test: consider preserved PD session quota

2017-06-29 11:59:52 +02:00

README

API documentation refinements

2017-05-31 13:16:21 +02:00

README

This source-code repository contains genuine low-level OS components and
interfaces of Genode. It solely depends on the framework's base API.