##
## Genode base repository definition
##

# This create 'base-repos' target
genode_add_repos(${GENODE_REPOS_DIR}/base)

genode_add_component(TARGET base FROM repos-base
        SRCS_LOCATION
            src/lib/base
            include/base)

genode_add_component(TARGET cxx FROM repos-base
        SRCS_LOCATION src/lib/cxx)
