During compilation，generate executable firmware_nuttx file and then the px4fmu-v2_default.px4

1

Is the above process correct，and firmware_nuttx file is similar as px4fmu-v2_default.px4，Just different formats