diff --git a/repos/os/src/server/report_rom/README b/repos/os/src/server/report_rom/README index 49e95d905..f1df0ad9c 100644 --- a/repos/os/src/server/report_rom/README +++ b/repos/os/src/server/report_rom/README @@ -9,11 +9,9 @@ The report-ROM server hands out ROM modules only if explicitly permitted by a configured policy. For example: ! -! -! -! -! ... -! +! +! +! ... ! The label of an incoming ROM session is matched against the 'label' attribute