mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-31 00:24:51 +00:00
70797fe879
Adds the <new-file> operation to the fs_tool. When configured, the <new-file path="...">...</new-file> tag will cause creation or overwriting of the file given through the 'path' attribute. The file will contain the text content of the tag. Ref #4032