Uploading SMACCMPilot

IMPORTANT: These instructions assume you’ve completed the instructions for building SMACCMPilot, you have a complete SMACCMPilot flight platform.

There are two boards to flash: the PX4 and the ODROID-XU. We describe each below.

PX4 Loading

Before you begin, determine whether you want to use the PX4 USB Bootloader, or whether you prefer to use a JTAG programmer such as the Black Magic Probe. Instructions for both cases are below. Note that for the hardware the casing has to be cut away to use the probe.

PX4 USB Bootloader

The PX4 development team has written a USB bootloader for the Pixhawk and distributes loaders for Windows, Mac, and Linux. The PX4 bootloader is flashed to the Pixhawk at the factory. This is the easiest method of uploading new programs to the Pixhawk and does not require hardware aside from a USB cable. By default, SMACCMPilot binaries are built to be compatible with the PX4 bootloader.

These instructions may be augmented by the PX4 Project wiki page on the same topic.

Flashing the Bootloader

Ordinarily, you will not have to worry about flashing the bootloader, since it comes flashed from the factory and SMACCMPilot project binaries should not overwrite it unless configured to and loaded via the Black Magic Probe. However, if you have overwritten the bootloader, it is easy to replace.

The PX4 bootloader for the Pixhawk is distributed as a binary in the smaccmpilot-hardware-prep repository.

Building the bootloader from sources

If you wish to build your own PX4 bootloader from sources, clone and build the PX4 project Bootloader repository.

Like other PX4 project repositories, the Bootloader expects to find a built clone of the libopencm3 repository in the same parent directory.

Bootloader Compatible Binaries

The PX4 bootloader uses a special .px4 format for program binaries. The build system will build image.px4 binaries alongside ordinary ELF binaries (named simply image). Note that the image.px4 binary will be linked to sit after the PX4 bootloader in flash, whereas the image elf will be linked to sit at the beginning of flash.

Bootloader Behavior

The bootloader is active for the first five seconds after the Pixhawk is powered on. When active, the bootloader will rapidly flash the red LED only. The uploader must initiate communication with the Pixhawk while the bootloader is active. N.B.: we have had problems trying to use the bootloader from within a virtual machine.

If there is no program flashed to the Pixhawk, bootloader will stay active for as long as the board is powered on. The SMACCMPilot application will not rapidly flash the red LED in normal operation.

Uploading on the command line

For Linux and Mac users, the easiest way to upload SMACCMPilot applications to the Pixhawk is via the px4_upload.py script. This script was authored by the PX4 development team and is redistributed under the terms of their license.

The px_upload.py script requires Python 2.7 or greater and the pyserial package.

The upload script accepts a comma-separated list of serial ports where the bootloader may be present. Since resetting the Pixhawk to activate the bootloader will make a new USB serial port connection, it is sometimes helpful to give several serial ports as an argument. For example, on Linux, you may give the list: /dev/ttyACM0,/dev/ttyACM1,/dev/ttyACM2.

To use the upload script from the command line, do the following:

cd smaccmpilot-build/smaccmpilot-stm32f4/src/smaccm-flight/platform-fmu24/standalone-flight
UPLOAD_PORT=<serial-device> make upload

Once the uploader has recognized a valid PX4 firmware file, it will give the message:

Loaded firmware for 5,0, waiting for the bootloader...

At this point, reset your Pixhawk board to enter the bootloader. You can do this by pushing the reset button on the side of the board, or if there is no other power source, unplugging and replugging the USB cable.

When the uploader recognizes the Pixhawk bootloader, it will output the following sequence:

Found board 5,0 bootloader rev 3 on /dev/ttyACM1
done, rebooting.

The first time you upload a program, the erase step may take quite some time as the bootloader erases the entire flash memory. Subsequent erases should be faster, because the bootloader will only erase pages which have been written to.

Black Magic Probe (Debugger)

You can load your SMACCMPilot binary onto hardware with the instructions found on the Black Magic Probe page.

ODROID Loading

The ODROID-XU ports used.

ODROID-XU with micro-USB, serial (over FTDI), and SD card installed.

To load the firmware onto the ODROID, you’ll want to

  • attach a micro-USB for fastbooting
  • attach a FTDI serial cable for a console and to log into Linux
  • insert a micro SD card card with the Linux filesystem installed (see the hardware setup instructions).

directly to the ODROID (not the daughterboard), as shown above.

Networking and mission software runs on the ODROID, hosted by seL4. In addition, there is a Linux virtual machine (VM) hosted by seL4. We assume you’ve installed fastboot and have built an seL4 image already (fastboot installation is done as part of the phase2 scripts, and the image built is called odroid-image).

For the serial console, use minicom or miniterm.py or some other program. You may have to fix your permissions to use the device. Configure the program to use with a 115200 baud rate, 8N1 encoding, and HW/SW flow control off (usually the encoding and flow-control are default settings).

Optionally, configure fastboot rules as follows on Linux:

echo SUBSYSTEM=="usb", ATTR{idVendor}=="18d1", MODE=="0666", GROUP=="users" | sudo tee /etc/udev/rules.d/40-odroidxu-fastboot.rules

Open a serial console, power the ODROID, and immediately interrupt the boot process as described in the serial terminal (press Enter). Type fastboot in the terminal, then on your host, type

sudo fastboot boot <path-to-image>/odroid-image

You should see the system boot and eventually reach a Linux login prompt. The user and password are root and odroid, respectively. You can no safely detach the microUSB cable and optionally the serial console. If you have used a wifi adapter (plugged into a USB port on the ODROID board) or ethernet cable, you can ssh into Linux.