diff --git a/system.xsd b/system.xsd new file mode 100644 index 00000000..ae26a52d --- /dev/null +++ b/system.xsd @@ -0,0 +1,196 @@ + + + + + Schema for the System Description Format, for seL4 Microkit .system files. + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/validate.sh b/validate.sh new file mode 100755 index 00000000..9b1920c9 --- /dev/null +++ b/validate.sh @@ -0,0 +1,15 @@ +#! /usr/bin/env bash +err=0 + +for f in `find . -wholename "*.system"` +do + xmllint --noout --schema system.xsd $f + if (($? != 0)); then + err=$((err + 1)) + fi +done + +if ((${err} > 0)); then + echo "There were errors while parsing" + exit 1 +fi