mirror of
git://git.yoctoproject.org/meta-virtualization.git
synced 2025-07-19 20:59:41 +02:00
dc08df210c
Enable linux-yocto-dev as the Linux kernel for Xen on the Raspberry Pi 4, with the bcm-2xxx-rpi4 KMACHINE and KBRANCH. Set a Raspberry Pi SD card variable to increase the size of the boot partition to accommodate both the kernel and the Xen hypervisor. Signed-off-by: Christopher Clark <christopher.w.clark@gmail.com> Signed-off-by: Bruce Ashfield <bruce.ashfield@gmail.com>
11 lines
532 B
Plaintext
11 lines
532 B
Plaintext
# For a Xen-enabled distro on the Raspberry Pi, override the contents of cmdline.txt
|
|
# with Xen-on-ARM-specific command line options
|
|
|
|
DEFAULT_CMDLINE := "${CMDLINE}"
|
|
XEN_LINUX_CMDLINE ?= "console=hvc0 clk_ignore_unused earlycon=xenboot debug root=/dev/mmcblk0p2 rootwait"
|
|
CMDLINE = "${@bb.utils.contains('DISTRO_FEATURES', 'xen', '${XEN_LINUX_CMDLINE}', '${DEFAULT_CMDLINE}', d)}"
|
|
|
|
KBRANCH_raspberrypi4-64 = "standard/bcm-2xxx-rpi"
|
|
KMACHINE_raspberrypi4-64 = "bcm-2xxx-rpi4"
|
|
COMPATIBLE_MACHINE_raspberrypi4-64 = "(raspberrypi4-64)"
|