SRC_DIR = src/test/fault_detection
include $(GENODE_DIR)/repos/base/recipes/src/content.inc