Binaries generated from build

PX4 Autopilot
1

I can build px4 successfully, but want to learn about the different files generated.
px4_fmu-v6x_default.bin
px4_fmu-v6x_default.elf
px4_fmu-v6x_default.px4

The .px4 file looks like just a json of build metadata.
Is the .bin file what will be actually flashed onto the drone?
The .elf is much larger than the .bin, is that because it retains symbol and debug information?

Built with default options:

make px4_fmu-v6x_default
2

Bin is what is flashed onto the drone and you are correct for the rest

3

You can use .px4 file as same way.