genode

Files

Emery Hemingway dc8b4eeb40 cached_fs_rom: diagnosis of delivered ROM sessions

To enable logging of ROM session deliveries, set the "diag" on
session routes:

<route>
  <service name="ROM" label_prefix="/bin/">
    <child name="cached_fs_rom" diag="yes"/>
  </service>
  …
<route>

Fix #3772

2020-06-22 09:39:38 +02:00

doc

Remove <configfile> feature from init

2020-05-18 10:16:13 +02:00

include

os: introduce common platform driver for ARM

2020-05-27 11:56:46 +02:00

lib

os: add sandbox lib to api/os

2020-02-20 12:11:22 +01:00

recipes

depot: update recipe hashes

2020-05-27 11:56:47 +02:00

run

Remove use of <configfile> feature of init

2020-05-18 10:16:13 +02:00

src

cached_fs_rom: diagnosis of delivered ROM sessions

2020-06-22 09:39:38 +02:00

xsd

timeout_types.xsd: Minutes type

2019-08-21 12:37:02 +02:00

README

…

README

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