blob: c7f81a49d77317efb7a524f4f56d5d6cc906bb50 [file] [log] [blame]
CONFIG_SYS_TEXT_BASE=0x60000000
CONFIG_BOOTCOMMAND="load virtio 0 $kernel_addr_r xen.efi && bootefi $kernel_addr_r"
CONFIG_SEMIHOSTING=y