target_sources(${LIB_FSFW_HAL_NAME} PRIVATE
    GpioCookie.cpp
)