##
## Genode dde_linux repository definition
##

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

genode_add_component(
        TARGET  lx_kit
        FROM    repos-dde_linux
        DEPENDS repos-base

        SRCS_LOCATION
        src/lib/lx_kit
        src/include/lx_kit

        SHARED_INCLUDE_DIR
        src/include
)

genode_add_component(
        TARGET  lx_emul
        FROM    repos-dde_linux
        DEPENDS repos-base

        SRCS_LOCATION
        src/lib/lx_emul
        src/include/lx_emul
)
