ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-18 10:46:25 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

trace_logger: priority config attr in config.xsd

Browse Source
This commit is contained in:
Norman Feske 2023-12-01 14:30:21 +01:00
parent 2aeea45c30
commit e2d1888f52
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
repos/os/src/app/trace_logger/config.xsd
View File

@ -37,6 +37,7 @@
</xs:choice>
<xs:attribute name="verbose" type="Boolean" />
<xs:attribute name="priority" type="Boolean" />
<xs:attribute name="sc_time" type="Boolean" />
<xs:attribute name="session_arg_buffer" type="Number_of_bytes" />
<xs:attribute name="session_ram" type="Number_of_bytes" />