diff --git a/repos/ealanos/src/lib/sandbox/utils.h b/repos/ealanos/src/lib/sandbox/utils.h index cc71780bfc..1061440c72 100644 --- a/repos/ealanos/src/lib/sandbox/utils.h +++ b/repos/ealanos/src/lib/sandbox/utils.h @@ -14,7 +14,21 @@ #ifndef _LIB__SANDBOX__UTILS_H_ #define _LIB__SANDBOX__UTILS_H_ -namespace Sandbox { +#include +#include +#include +#include +#include +#include + #include + #include + #include + #include +#include "types.h" + +namespace Sandbox +{ + using namespace Genode; static inline void warn_insuff_quota(size_t const avail) { @@ -232,6 +246,11 @@ namespace Sandbox { return result; } + + inline bool is_brick_from_xml(Xml_node start_node) + { + return start_node.attribute_value("brick", false); + } } #endif /* _LIB__SANDBOX__UTILS_H_ */