{# device_type = "stm32mp157c-dk2" #}
{% extends 'base-uboot.jinja2' %}

{% set bootm_kernel_addr = '0xc2000000' %}
{% set bootm_ramdisk_addr = '0x45000000' %}
{% set bootm_dtb_addr = '0xc4000000' %}

{% set uboot_mkimage_arch = 'arm' %}

{% set uboot_needs_usb = true %}
{% set bootloader_prompt = bootloader_prompt|default('U-Boot>') %}

{% set boot_character_delay = boot_character_delay | default(10) %}