blob: 7a4e41a62a973042756db29bc72e8a19d168db34 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
FILESEXTRAPATHS:append := ":${THISDIR}/u-boot-xlnx-scr"
SRC_URI += "file://boot.cmd.xen"
# Image offsets for Xen boot
KERNEL_OFFSET:zynqmp ?= "0xE00000"
KERNEL_OFFSET:versal ?= "0xE00000"
DEVICETREE_OFFSET:zynqmp ?= "0xC000000"
DEVICETREE_OFFSET:versal ?= "0xC000000"
RAMDISK_OFFSET:zynqmp ?= "0x2600000"
RAMDISK_OFFSET:versal ?= "0x2600000"
XEN_OFFSET:zynqmp ?= "0xBA00000"
XEN_OFFSET:versal ?= "0xBA00000"
XEN_LOAD_ADDRESS ?= "${@append_baseaddr(d,d.getVar('XEN_OFFSET'))}"
# If dom0-ramdisk is used for Xen boot then set RAMDISK image to cpio.gz
XEN_IMAGE_NAME ?= "xen"
RAMDISK_IMAGE ?= "rootfs.cpio.gz"
# Set the amount of memory for dom0 depending on total available memory size(DDR).
DOM0_MEM ?= "1500M"
# Specify which UART console Xen should use. You can sepecify the devicetree
# alias or full path to a node in the devicetree
# XEN_SERIAL_CONSOLES ?= "serial0" or XEN_SERIAL_CONSOLES ?= "/axi/serial@ff000000"
XEN_SERIAL_CONSOLES ?= "serial0"
# Specify additional Xen paramaters which will be appended to xen-bootargs
# This can alos be used for debugging purposes.
# Examples: XEN_CMDLINE_APPEND ?= "sched=credit loglvl=all guest_loglvl=debug"
XEN_CMDLINE_APPEND ?= ""
# Specify the max number of vcpus for dom0
# Example usage: DOM0_MAX_VCPUS = "2" or DOM0_MAX_VCPUS = "2-4"
DOM0_MAX_VCPUS ?= "1"
|
