Loading ArduPilot firmware onto Navigator Flight Controller [Inquiry]

Does the navigator flight controller already have ArduPilot already installed? We are utilizing ArduRover for our purposes and I saw on the ArduPilot documentation that there are steps for loading firmware if the board does not have it installed, this is the page I found the information on.

https://ardupilot.org/copter/docs/common-loading-firmware-onto-chibios-only-boards.html

In addition,have any of you loaded ArduPilot onto Navigator Flight Controller, is it the same step in this forum or was your process slightly different? Please let me know and this is the navigator flight controller for reference

Doesn’t this define the process?
Navigator Software Setup