ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-05-21 01:37:42 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
genode/repos/base/src
History
Norman Feske 39e6dd3d25 core: destruction order of PD session members 
This patch addresses a corner case revealed by the resource_request test
on seL4 after changing the child-destruction handling with commit "base:
close PD on 'close_all_sessions'". During the destruction of the PD
session, the backing store (session-local RAM dataspace factory) of the
signal broker's slab was destroyed before destructing the signal broker.
Instantiating the signal broker after the RAM dataspace factory fixes
the destruction order.
2018-07-03 09:39:35 +02:00
..
core
core: destruction order of PD session members
2018-07-03 09:39:35 +02:00
include
base: increase retry in expanding_pd_session
2018-05-30 13:36:27 +02:00
ld
hw: switch page-tables only when necessary
2017-10-19 13:31:18 +02:00
lib
base: handle cancelation of session creation
2018-07-03 09:39:32 +02:00
test
Test successive thread creation and destruction
2018-07-03 09:39:34 +02:00
README
Move repositories to 'repos/' subdirectory
2014-05-14 16:08:00 +02:00

README 

This directory contains all source codes.