genode/repos/os
Emery Hemingway 73eb7a52a0 server/fs_report: do not append '.report to file names
Appending a suffix to report filenames was behavior inherited from
fs_log, it prevents creating files where directories need to be created
later. But unlike logs, only a subset of the hierarchy will report and
those that do append a component-local label, so the risk of collision
is low.

By removing the suffix fs_rom can serve reports back as ROM just as
report_rom does.

Ref #2422
2017-06-29 11:59:56 +02:00
..
doc Remove obsolete RAM/CAP services from run scripts 2017-05-31 13:16:22 +02:00
include timeout lib: dynamic interpolation-factor shift 2017-06-29 11:59:54 +02:00
lib/mk timer connection: no interpolation on arm w/o hw 2017-05-31 17:50:28 +02:00
recipes server/fs_report: write reports to file-systems 2017-06-19 12:35:54 +02:00
run server/fs_report: do not append '.report to file names 2017-06-29 11:59:56 +02:00
src server/fs_report: do not append '.report to file names 2017-06-29 11:59:56 +02:00
README API documentation refinements 2017-05-31 13:16:21 +02:00

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