px4_nuttx_configure(HWCLASS m3 CONFIG nsh)

set(config_module_list
	drivers/stm32
	modules/px4iofirmware
)