Copy the necessary binaries and IFS to microSD card

Obtain boot firmware files

The Raspberry Pi 4 board needs the following firmware files to boot:

bcm2711-rpi-4-b.dtb, start4.elf, start4x.elf, start4db.elf, start4cd.elf,
fixup4.dat, fixup4x.dat, fixup4cd.dat, fixup4db.dat
bcm2711-rpi-4-b.dtb, overlays/

If you already have a bootable microSD card which has files listed above, you can skip downloading them, otherwise these files can be downloaded from Raspberry wite site, such as: https://github.com/raspberrypi/firmware/tree/stable/boot (see the BSP release notes for the specific revision recommended) and should be saved to the DOS partition on the prepared bootable microSD card.

Prepare boot config file

The Raspberry Pi 4 early-stage boot firmware reads config.txt file. If your bootable microSD card already has this file, please make sure that it include:

               [rpi4]
               arm_64bit=1
               force_turbo=1
               enable_uart=1
               gpu_mem=16
               max_framebuffers=2
               kernel=ifs-rpi4.bin

If you don't have a config file, you can create one and store it along side with other firmware files.

For Linux hosts

Copy all firmware and config files and QNX IFS image to an microSD card, by using the following steps:

Insert the microSD card into your host system and mount it if necessary.
The microSD card should appear in the list of mounted devices. If it doesn't appear, remove and re-insert the card into your host system. You may need to run the mount command before and after inserting the microSD card to determine its mountpoint. For example, the microSD card mountpoint may appear like:
```
$ mount
...
/dev/sda1 on /media/074B-DAC7
...
                          
```
In a terminal on your host system, copy all firmware and config files to mount point /media/074B-DAC7.
Copy the QNX IFS image to the microSD card as ifs-rpi4.bin. The filename must be ifs-rpi4.bin which is the boot image name defined in the config.txt file.
```
$ cd $BSP_ROOT_DIR/images
$ cp ifs-rpi4.bin /media/074B-DAC7/
                         
```

The microSD card should now be ready to boot your Raspberry Pi 4 board.

For Windows hosts

In a Command Prompt window, run bash. You might need to run qnxsdp-env.bat from your QNX SDP 8.0 installation to set up your environment to use bash.
```
$ bash
```
Copy all firmware and config files to the G:/ directory mounted on the microSD card.
Copy the QNX IFS image to the microSD card as ifs-rpi4.bin. The filename must be ifs-rpi4.bin which is the name defined in the config.txt file. In the example below, the microSD card appears G:/ drive.
```
$ cd $BSP_ROOT_DIR/images
$ cp ifs-rpi4.bin G:/ 
```