| format: 3.0 |
| boot_script: boot.scr |
| fdt_high: '0x05000000' |
| initrd_addr: '0x05000000' |
| initrd_high: '0x06000000' |
| extra_boot_args_options: |
| - earlyprintk |
| - mem=128M@0 |
| - mali.mali_mem=64M@128M |
| - hwmem=168M@192M |
| - mem=22M@360M |
| - mem_issw=1M@383M |
| - mem=640M@384M |
| - vmalloc=500M |
| extra_serial_options: |
| - console=ttyAMA2,115200n8 |
| android_specific_args: |
| - init=/init |
| - androidboot.console=ttyAMA2 |
| dtb_name: board.dtb |
| dtb_addr: '0x8000000' |
| kernel_addr: '0x00100000' |
| kernel_flavors: |
| - u8500 |
| - ux500 |
| load_addr: '0x00008000' |
| mmc_option: '1:1' |
| serial_tty: ttyAMA2 |
| live_serial_opts: |
| - serialtty=ttyAMA2 |