User Tools

Site Tools


hw:zynq:linux:petalinux:boot_kernel

This is an old revision of the document!


Boot and Kernel configure & build with PetaLinux without BSP (board support package)

  1. Create Vivado design and export the hardware with bitstream.
    Default hdf (hardware description file) location is:
    <project_directory>/<project_name>.sdk/

    In case you need it (but usually you shouldn't), default bitstream location is:

    <project_directory>/<project_name>.runs/impl_1/
  2. Setup PetaLinux enviroment (see Install PetaLinux)

  3. Create PetaLinux project:
    petalinux-create --type project --template zynq --name <boot_project_name>
    cd <boot_project_name>
  4. Get hardware description from Vivado project:
    petalinux-config --get-hw-description <path_to_vivado_project_directory>/<project_name>.sdk/
  5. Set booting from SD card by navigating through settings tree and choosing the proper options:
    Subsystem AUTO Hardware Settings -> Advanced bootable images storage Settings -> boot image settings  : set ‘image storage media’ option to ‘primary sd’
                                                                                  -> kernel image settings: set ‘image storage media’ option to ‘primary sd’
                                                                                  -> dtb image settings   : set ‘image storage media’ option to ‘primary sd’
    Image Packaging Configurations: set ‘Root filesystem type’ option to ‘SD card’
                                  : uncheck 'Copy final images to tfpboot'

    Select Exit and write the configuration.

    In case you want to reconfigure boot settings, run:

    petalinux-config
  6. Check whether all required drivers/modules are enabled in kernel config:
    petalinux-config -c kernel

    Hint: you can use vim-like search /<search_string> to list all enabled drivers/modules.
    Remember to Save changes before exit – there is no autosave!

  7. Skip the next point if you are not using AXI_GPIO

  8. Enable kernel module in kernel config:
    petalinux-config -c kernel

    by navigating through settings tree and enabling modules (there should be '<*>', not '<M>'):

    Device Drivers -> <*> Userspace I/O drivers -> <*> Userspace I/O platform driver with generic IRQ handling
                                                   <*> Userspace platform driver with generic irq and dynamic memory
  9. Fix the u-boot bug – a typo in default boot command.
    The proper boot configure entry:
    default_bootcmd=run uenvboot; run cp_kernel2ram && bootm ${netstart}

    is created by PetaLinux as

    default_bootcmd=run uenvboot; run cp_kernel2ram && run cp_dtb2ram && booti ${netstart} - ${dtbnetstart}

    with the typo in booti instead of bootm command.

    To fix this bug, edit the platform-top.h file (after all other configuration is done):

    vim ./project-spec/meta-user/recipes-bsp/u-boot/files/platform-top.h

    and add the following entry at the end:

    /* Due to a bug where having u-boot load dtb from SD card causes the boot
     * command to default to using booti instead of bootm on Zynq, the defult build
     * fails to boot. This boot command override is a temporary workaround.
    */
    #ifdef CONFIG_BOOTCOMMAND
    #undef CONFIG_BOOTCOMMAND
    #define CONFIG_BOOTCOMMAND	"run uenvboot; run cp_kernel2ram && run cp_dtb2ram && bootm ${netstart} - ${dtbnetstart}"
    #endif
  10. Build the boot and kernel files:
    petalinux-build
  11. Determinate the bit file name in PetaLinux project (it is copied automatically from Vivado design by –get-hw-description):
    ls ./images/linux/*.bin
  12. Create BOOT.BIN image:
    petalinux-package --boot --format BIN --fsbl ./images/linux/zynq_fsbl.elf --fpga ./images/linux/<bit_filename>.bit --u-boot
/services/www/http/wiki/data/attic/hw/zynq/linux/petalinux/boot_kernel.1553782143.txt.gz · Last modified: 2019/03/28 15:09 by jakub.moron