dynamic-layers/raspberrypi/recipes-kernel/linux/linux-yocto-dev.bbappend


1
2
3
4
5
6
7
8

# For a Xen-enabled distro on the Raspberry Pi, override the contents of cmdline.txt
# with Xen-on-ARM-specific command line options

KBRANCH:raspberrypi4-64 ?= "standard/bcm-2xxx-rpi"
KMACHINE:raspberrypi4-64 ?= "bcm-2xxx-rpi4"
COMPATIBLE_MACHINE:raspberrypi4-64 = "(raspberrypi4-64)"

require linux-yocto_xen-rpi.inc