include(configs/nuttx_px4fmu-v3_default)
set(FW_NAME nuttx_px4fmu-v3_rtps.elf CACHE string "" FORCE)
list(APPEND config_module_list
modules/micrortps_bridge
)