genode-ehmry/errata
2019-04-27 20:18:13 +02:00
..
base_types.xsd Add rtc, labeling to runtime.xsd 2019-04-27 20:17:17 +02:00
bin.mk.awk Rename _ARCHIVES to .ARCHIVES, process public archive files twice 2019-04-27 20:18:13 +02:00
pkg.mk.awk Rename _ARCHIVES to .ARCHIVES, process public archive files twice 2019-04-27 20:18:13 +02:00
raw.mk.awk Rename _ARCHIVES to .ARCHIVES, process public archive files twice 2019-04-27 20:18:13 +02:00
runtime.xsd Update runtime schema 2019-04-27 20:18:13 +02:00