ppkfile - 2024.2 English

Syntax

• For Zynq devices and Zynq UltraScale+ MPSoC:

  [ppkfile] <key filename>

• For AMD Versal™ adaptive SoC:

  ppkfile = <filename>

Description

The PPK key is used to authenticate partitions in the boot image.

See Using Authentication.

Arguments

Specified file name.

Example

• For Zynq devices and Zynq UltraScale+ MPSoC:

  all:
  {
     [ppkfile] primarykey.pub
     [pskfile] primarykey.pem
     [sskfile] secondarykey.pem
     [bootloader, authentication=rsa]fsbl.elf
     [authentication=rsa] hello.elf
  }

• For AMD Versal™ adaptive SoC:

  all:                                                         
  {                                                            
     boot_config {bh_auth_enable}                              
     image                                                     
     {                                                         
        name = pmc_ss, id = 0x1c000001                         
        { type=bootloader, authentication=rsa, file=plm.elf, ppkfile=primary0.pub, pskfile=primary0.pem, sskfile=secondary0.pem }       
        { type = pmcdata, load = 0xf2000000, file=pmc_cdo.bin }
        { type=cdo, authentication=rsa, file=fpd_cdo.bin, ppkfile=primary1.pub, pskfile = primary1.pem, sskfile = secondary1.pem  }  
     }                                                         
  }