blob: 5f4305220487ffd44077bf47bc6be63f938bfa8c (
plain)
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
|