This page provides an example on how to boot from FPGA on the Altera Cyclone V Development Kit.

Introduction

The HPS boot flow typically consists of the following stages:

1. BootROM
2. Preloader
3. Bootloader
4. Operating System

The Preloader is typically loaded from Flash memory by the BootROM.

When booting from FPGA, the Preloader is executed directly from FPGA memory instead of being loaded from the flash memory then executed.

For more details about the boot process please refer to:

• Boot Flow
• Cyclone V Booting and Configuration

Overview

The HPS (Hard Processor System) can boot from Flash memory or directly from FPGA memory.

In order to achieve booting from FPGA the following are required:

• BSEL needs to be set to 0x1 - Boot from FPGA
• FPGA image needs to have an on-chip memory instantiated, mapped at offset 0x0 behind the HPS2FPGA bridge. The memory needs to be loaded with Preloader executable binary.
• FPGA image needs to drive the value of the following two signals to HPS, since they are required by BootROM:
  • f2h_boot_from_fpga_ready - indicates that the BootROM can boot from FPGA if BSEL = 0x1
  • f2h_boot_from_fpga_on_failure - indicates that the BootROM can boot from FPGA as a fallback, if it failed booting from the selected BSEL.
• Preloader executable .text section needs to be linked to address 0xC000_0000 (equivalent of offset 0x0 behind the HPS2FPGA bridge)
• Preloader executable .data sections need to be linked to address 0xFFFF_0000 (the HPS OCRAM)

The complete flow is described in the following diagram:

Note that the design needs to be compiled once in order to obtain the handoff folder, which is used to generate the Preloader. Once the Preloader hex file is obtained, the design is compiled again in order to have the FPGA memory initialized with the contents of the hex file.

Hardware Design

This section presents a very simple design that allows booting from FPGA.For convenience, the design files are attached at the bottom of this page.

The design is based on Altera GHRD, but has a reduced number of components:

• HPS - Hard Processor Instance
• SysID - System ID
• HPS Boot Memory - FPGA memory used to store Preloader binary
• Clk - Clock and Reset source

The HPS Component needs to be configured to enable the Boot from FPGA signals as shown in the screenshot below:

The HPS Boot Memory needs to be set to 8bit witdh, and be initialized with a hex file containing the Preloader image.The following screenshot shows the memory settings that were used for this example. Note the Preloader image is stored in the file named software/spl_bsp/preloader.hex.

The following picture presents the Qsys system, showing how components are integrated in the design. Note the following:

• The HPS's f2h_boot_from_fpga bus was exported by double-clicking the corresponding cell in the Export column.
• The HPS Boot Memory was connected to the h2f AXI bus
• The HPS Boot Memory was set to a base address of 0x000_0000

The f2h_boot_from_fpga signals need to be tied at the top level to the proper values. For this example they were tied like this in the file rd_top.v:

// SoC sub-system module
soc_system soc_inst (

  …
  .hps_0_f2h_boot_from_fpga_boot_from_fpga_ready        (1'b1),
  .hps_0_f2h_boot_from_fpga_boot_from_fpga_on_failure   (1'b0)
); 

See Compiling Hardware Design for complete instructions on how to compile the hardware design.

Preloader

The Preloader needs to be instructed that it will reside in the FPGA memory. In order to achieve this, the option EXE_ON_FPGA needs to be checked in the Preloader Generator GUI before clicking the Generate button, as shown in the following screenshot:

The following two files use the above option to affect how the Preloader is linked:

1. File uboot-socfpga/board/altera/socfpga_cyclone5/build.h defines the CONFIG_PRELOADER_EXE_ON_FPGA macro and sets the base address of the data section to be in the HPS OCRAM:

#define CONFIG_PRELOADER_EXE_ON_FPGA      (1)
#define CONFIG_FPGA_DATA_BASE 0xFFFF0000

2. File uboot-socfpga/include/configs/socfpga_cyclone5.h defines the base address of the text section accordingly:

#if (CONFIG_PRELOADER_EXE_ON_FPGA == 1)
#define CONFIG_SPL_TEXT_BASE      0xC0000000
#else
#define CONFIG_SPL_TEXT_BASE      0xFFFF0000
#endif

For complete instructions on how to generate the Preloader, please refer to Generating and Compiling the Preloader. After compiling the Preloader, the ELF image needs to be converted to hex format, to be used by Quartus tools to synthesize the FPGA memory. The hex file will need to be zero-based as the FPGA memory is located at offset zero on theHPS2FPGA bridge, while the Preloader ELF is linked to address 0xC000_0000 as seen from the HPS point of view. The command to achieve the conversion is:

$ ~/altera/15.1/embedded/embedded_command_shell.sh
$ cd ~/sockit_ghrd_boot_fpga_rd/software/spl_bsp
$ arm-altera-eabi-objcopy -O ihex --adjust-vma -0xc0000000 uboot-socfpga/spl/u-boot-spl preloader.hex

Running the Demo

1. Retrieve and unpack the hardware design:

Download the hardware design: sockit_ghrd_boot_fpga_rd.tar.gz

$ tar xvzf sockit_ghrd_boot_fpga_rd.tar.gz
$ chmod -R 777 sockit_ghrd_boot_fpga_rd.tar.gz

The hardware design has all necessary files to recompile the hardware design and re-generate the Preloader, but for the demo we will just use the included sof file: sockit_ghrd_boot_fpga_rd.tar.gz/output_files/soc_system.sof.

2. Retrieve and unpack the SD card image and write it to the micro SD card:

Download the sd card image file: sd_image_sockit_boot_fpga_20150303.tar.gz

$ tar xvzf sd_image_sockit_boot_fpga_20150303.tar.gz
$ sudo dd if=sd_image_sockit_boot_fpga_20150303.img of=/dev/sdx bs=1M
$ sudo sync

3. Configure the SoCKit board to boot from FPGA:

Configure the BOOTSELECT and CLOCKSELECT jumpers as shown in the figure below.

BOOTSELECT[2:0] = 001, CLOCKSELECT[1:0] = 00

4. Insert the micro SD card in the slot.

5. Power up the board. BootROM will not find a suitable image on the FPGA since the FPGA is not yet configured. Therefore the HPS will keep being reset by the watchdog and try again and again until there is a proper image on the FPGA.

6. Program the FPGA with the sockit_ghrd_boot_fpga_rd/output_files/soc_system.sof file by using the Quartus Programmer. See complete instructions at Programming FPGA With Quartus Programmer.

7. Once FPGA is programmed, the BootROM will recognize the boot_from_fpga signals, and will run the Preloader from FPGA memory. Then the Preloader will load the U-Boot from SD card which in turn will load and run Linux from the SD Card.

U-Boot SPL 2013.01.01 (Jul 21 2014 - 22:15:15)
BOARD : Altera SOCFPGA Cyclone V Board
CLOCK: EOSC1 clock 25000 KHz
CLOCK: EOSC2 clock 25000 KHz
CLOCK: F2S_SDR_REF clock 0 KHz
CLOCK: F2S_PER_REF clock 0 KHz
CLOCK: MPU clock 800 MHz
CLOCK: DDR clock 400 MHz
CLOCK: UART clock 100000 KHz
CLOCK: MMC clock 50000 KHz
CLOCK: QSPI clock 400000 KHz
INFO : Watchdog enabled
SDRAM: Initializing MMR registers
SDRAM: Calibrating PHY
SEQ.C: Preparing to start memory calibration
SEQ.C: CALIBRATION PASSED
SDRAM: 1024 MiB
ALTERA DWMMC: 0

U-Boot 2013.01.01 (Jul 22 2014 - 10:20:06)

CPU   : Altera SOCFPGA Platform
BOARD : Altera SOCFPGA Cyclone V Board
I2C:   ready
DRAM:  1 GiB
MMC:   ALTERA DWMMC: 0
*** Warning - bad CRC, using default environment

In:    serial
Out:   serial
Err:   serial
Skipped ethaddr assignment due to invalid EMAC address in EEPROM
Net:   mii0
Warning: failed to set MAC address

Hit any key to stop autoboot:  0
reading u-boot.scr
** Unable to read file u-boot.scr **
Optional boot script not found. Continuing to boot normally
reading zImage
3620776 bytes read in 333 ms (10.4 MiB/s)
reading socfpga.dtb
21028 bytes read in 8 ms (2.5 MiB/s)
## Flattened Device Tree blob at 00000100
   Booting using the fdt blob at 0x00000100
   Loading Device Tree to 03ff7000, end 03fff223 … OK

Starting kernel …

Booting Linux on physical CPU 0x0
Initializing cgroup subsys cpuset
Linux version 3.13.0-00298-g3c7cbb9 (thloh@pg-thloh-lv1) (gcc version 4.7.3 20130226 (prerelease) (crosstool-NG linaro-1.13.1-4.7-2013.03-20130313 - Linaro GCC 2013.03) ) #1 SMP Tue Jun 24 09:29:53 MYT 2014
….

Stopping Bootlog daemon: bootlogd.

Poky 8.0 (Yocto Project 1.3 Reference Distro) 1.3 socfpga ttyS0

socfpga login: root
root@socfpga:~#