genode/repos/os
Martin Stein ebcca179ed nic_router: fix 'catch' paths in session creation
The handling of exceptions during session creation implies freeing and
detaching the RAM DS behind the session env and session component. But this
was done using the session env located in the same RAM DS, which must
lead to problems. Now, the session env from the RAM DS is copied to the stack
and the operations are done on this temporary instance instead.

Ref #3525
2019-11-19 14:42:22 +01:00
..
doc Remove obsolete RAM/CAP services from run scripts 2017-05-31 13:16:22 +02:00
include packet_stream_*: fix missing dissolve on exception 2019-11-19 14:42:22 +01:00
lib os: name tz_vmm unambigously (ref #2190) 2019-05-27 14:46:53 +02:00
recipes Increase input_filter RAM quotas to 1280K 2019-11-19 14:23:54 +01:00
run nic_router: do DHCP when re-config to dynamic IP 2019-11-19 14:42:22 +01:00
src nic_router: fix 'catch' paths in session creation 2019-11-19 14:42:22 +01:00
xsd timeout_types.xsd: Minutes type 2019-08-21 12:37:02 +02:00
README API documentation refinements 2017-05-31 13:16:21 +02:00

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