Timo Nicolai dc5990ce4a black_hole: add missing report to config.xsd
Should have been added by 14d0b72f52e25afc89aba664e324388dfa6b133e.

Issue #5233
2024-06-20 12:54:29 +02:00
..
2024-05-29 09:18:12 +02:00
2023-08-23 13:46:37 +02:00
2024-05-30 08:20:21 +02:00
2023-11-28 14:24:23 +01:00
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.