if(FSFW_HAL_ADD_RASPBERRY_PI)
    add_subdirectory(rpi)
endif()

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