{
  "kernel_size": 42304000,
  "kernel_addr": "0x10008000",
  "ramdisk_size": 20974799,
  "ramdisk_addr": "0x11000000",
  "second_size": 0,
  "second_addr": "0x10f00000",
  "tags_addr": "0x10000100",
  "page_size": 2048,
  "dt_size": 0,
  "name": "",
  "cmdline": "root=/dev/initrd rw rootwait mminit_loglevel=4 console=ttyTCU0,115200 firmware_class.path=/etc/firmware fbcon=map:0 net.ifnames=0"
}
