From 286809908de450f94d081173440785f02edc306a Mon Sep 17 00:00:00 2001 From: Michal Podhradsky Date: Tue, 24 Oct 2023 10:28:01 -0700 Subject: [PATCH 1/4] Added XSD and a validation script Signed-off-by: Michal Podhradsky --- system.xsd | 93 +++++++++++++++++++++++++++++++++++++++++++++++++++++ validate.sh | 15 +++++++++ 2 files changed, 108 insertions(+) create mode 100644 system.xsd create mode 100755 validate.sh diff --git a/system.xsd b/system.xsd new file mode 100644 index 000000000..d7bb2c7e7 --- /dev/null +++ b/system.xsd @@ -0,0 +1,93 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/validate.sh b/validate.sh new file mode 100755 index 000000000..aa804424e --- /dev/null +++ b/validate.sh @@ -0,0 +1,15 @@ +#! /usr/bin/env bash +err=0 + +for f in `find . -wholename "./example/*.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 From fe139efbf0dcfb8d568826716697d9d90914b2c2 Mon Sep 17 00:00:00 2001 From: "V. Jackson" Date: Mon, 9 Mar 2026 16:45:13 +1100 Subject: [PATCH 2/4] rewrite and update the SDF spec Signed-off-by: Vincent Jackson --- system.xsd | 277 +++++++++++++++++++++++++++++++++++----------------- validate.sh | 2 +- 2 files changed, 191 insertions(+), 88 deletions(-) diff --git a/system.xsd b/system.xsd index d7bb2c7e7..d7135e748 100644 --- a/system.xsd +++ b/system.xsd @@ -1,93 +1,196 @@ - + + + + Schema for the System Description Format, for seL4 Microkit .system files. + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/validate.sh b/validate.sh index aa804424e..9b1920c95 100755 --- a/validate.sh +++ b/validate.sh @@ -1,7 +1,7 @@ #! /usr/bin/env bash err=0 -for f in `find . -wholename "./example/*.system"` +for f in `find . -wholename "*.system"` do xmllint --noout --schema system.xsd $f if (($? != 0)); then From 151c11d35ccc929cb715f9b8426e40f14674dd07 Mon Sep 17 00:00:00 2001 From: "V. Jackson" Date: Tue, 10 Mar 2026 11:20:16 +1100 Subject: [PATCH 3/4] update pcidev pattern Signed-off-by: Vincent Jackson --- system.xsd | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/system.xsd b/system.xsd index d7135e748..a89a80024 100644 --- a/system.xsd +++ b/system.xsd @@ -155,8 +155,8 @@ - - + + From 571adb6340d5d16196ca0c6f2c9a2f7cb9a7f69e Mon Sep 17 00:00:00 2001 From: Vincent Jackson Date: Tue, 10 Mar 2026 15:23:03 +1100 Subject: [PATCH 4/4] slightly improve the perms pattern Signed-off-by: Vincent Jackson --- system.xsd | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/system.xsd b/system.xsd index a89a80024..ae26a52da 100644 --- a/system.xsd +++ b/system.xsd @@ -105,7 +105,7 @@ - +