PixHawk 2.4.7 build target

Hi

The firmware build targets listed here don’t seem to have a specific target for a PixHawk 2.4.7 controller:

https://docs.px4.io/master/en/dev_setup/building_px4.html

Which build target should I use for a PixHawk 2.4.7 please?

Many thanks

Nathan