diff --git a/repos/os/src/server/black_hole/config.xsd b/repos/os/src/server/black_hole/config.xsd new file mode 100644 index 0000000000..ef050a6dfa --- /dev/null +++ b/repos/os/src/server/black_hole/config.xsd @@ -0,0 +1,15 @@ + + + + + + + + + + + + + + + diff --git a/repos/os/src/server/black_hole/target.mk b/repos/os/src/server/black_hole/target.mk index a79e1e4981..82184a173b 100644 --- a/repos/os/src/server/black_hole/target.mk +++ b/repos/os/src/server/black_hole/target.mk @@ -1,3 +1,4 @@ TARGET = black_hole SRC_CC = main.cc LIBS = base +CONFIG_XSD = config.xsd