mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-30 08:03:59 +00:00
fce9cd8c22
With complex scenarios, supplementing the <report> node with the attribute 'requested' or 'provides' can easily result in a report of more than 64K.