if(TGT_BSP MATCHES "arm/raspberrypi")
    add_subdirectory(rpi)
endif()

target_sources(${LIB_FSFW_HAL_NAME} PRIVATE
    GpioCookie.cpp
    LinuxLibgpioIF.cpp
)