genode

mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 20:42:56 +01:00

Files

Josef Söntgen 505f4290ec base: activate Rpc_entrypoint explicitly in dtor

The Rpc_exit call is delivered via RPC which results in a deadlock
if the Rpc_entrypoint has not been started yet. To prevent this
situation we active the Rpc_entrypoint explicitly before we call
Rpc_exit.

Fixes #811.

2013-07-16 12:32:29 +02:00

base

base: activate Rpc_entrypoint explicitly in dtor

2013-07-16 12:32:29 +02:00

core

core: remove hardcoded 'init' from Log output

2013-07-05 12:37:42 +02:00

lib

Support for building all libs via 'make lib'

2012-01-24 18:56:35 +01:00

platform

crt0 cleanup

2013-07-05 12:37:43 +02:00

test

Create the context area RM session at startup

2013-05-07 21:56:07 +02:00

README

Imported Genode release 11.11

2011-12-22 16:19:25 +01:00

README

This directory contains all source codes.