denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 20:42:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

report_rom: update documentation of policy config

Browse Source
This commit is contained in:
Christian Helmuth
2016-01-26 16:50:20 +01:00
parent 8982bc5843
commit 3daa8a3d04
1 changed files with 3 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
repos/os/src/server/report_rom/README
View File

@@ -9,11 +9,9 @@ The report-ROM server hands out ROM modules only if explicitly permitted by a
configured policy. For example:
! <config>
! <rom>
! <policy label="decorator -> pointer" report="nitpicker -> pointer"/>
! <policy ... />
! ...
! </rom>
! <policy label="decorator -> pointer" report="nitpicker -> pointer"/>
! <policy ... />
! ...
! </config>
The label of an incoming ROM session is matched against the 'label' attribute