##
## vania-world repository definition
##

genode_add_repos(${GENODE_REPOS_DIR}/vania-world)

genode_add_component(
        TARGET        mongoose_repos
        FROM          repos-vania-world
        DEPENDS       repos-base
        SRCS_LOCATION src/test/mongoose_test
)

genode_add_run_script(
        NAME     x86_64.linux.mongoose_test
        PLATFORM x86_64
        BOARD    linux
        KERNEL   linux
        TARGET   test/mongoose_test
)
