{# set device_type = "armada-8040-db" #}
{% extends 'base-uboot.jinja2' %}
{% set console_device = console_device|default('ttyS0') %}
{% set baud_rate = baud_rate|default(115200) %}
{% set bootloader_prompt = bootloader_prompt|default('Marvell>>') %}
{% set booti_kernel_addr = '0x50000000' %}
{% set booti_ramdisk_addr = '0x90000000' %}
{% set booti_dtb_addr = '0x04f00000' %}
{% set base_ip_args = 'ip=dhcp' %}
{% set uboot_mkimage_arch = 'arm64' %}
