##
## Genode os repository definition
##

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

genode_add_component(TARGET part_block FROM repos-os
        SRCS_LOCATION
            src/server/part_block
            include/block
            include/block_session
        DEPENDS
            repos-base)

genode_add_component(TARGET platform_drv FROM repos-os
        NO_RECURSIVE_SRCS
        SRCS_LOCATION
            src/drivers/platform/imx8mq
            src/drivers/platform/spec/arm_64
            include/platform_device
            include/platform_session
        DEPENDS
            repos-base)

genode_add_component(TARGET i2c_drv FROM repos-os
        SRCS_LOCATION
            src/drivers/i2c
            include/i2c_session
        DEPENDS
            repos-base)

genode_add_component(TARGET gpio_drv FROM repos-os
        NO_RECURSIVE_SRCS
        SRCS_LOCATION
            src/drivers/gpio/imx
            include/gpio
            include/gpio_session
        DEPENDS
            repos-base)

# This driver is for instance close-sources, will be open-sources one day, I hope^^
genode_add_component(TARGET spi_drv FROM repos-os
        SRCS_LOCATION
            src/drivers/spi
            include/spi_session
        DEPENDS
            repos-base)

genode_add_component(TARGET sd_card FROM repos-os
        NO_RECURSIVE_SRCS
        SRCS_LOCATION
            src/drivers/sd_card
            src/drivers/sd_card/imx
        DEPENDS
            repos-base)
