ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-05-28 13:14:26 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
genode/repos/os/recipes
History
Christian Helmuth 12fc9a0fbb trace_logger: log priority of trace subject 
Optionally log thread priority with

  <config priority="yes" ...> ... </config>

The commit also applies a cleanup of format calculations.
2023-10-04 13:22:04 +02:00
..
api
depot: update recipe hashes
2023-08-24 11:01:40 +02:00
pkg
trace_logger: log priority of trace subject
2023-10-04 13:22:04 +02:00
raw
depot: update recipe hashes
2023-07-14 12:06:32 +02:00
src
depot: update recipe hashes
2023-08-24 11:01:40 +02:00