Orange Pi5 kernel

^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  1) # global x86 required specific stuff
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  2) # On 32-bit HIGHMEM4G is not allowed
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  3) CONFIG_HIGHMEM64G=y
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  4) CONFIG_64BIT=y
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  5) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  6) # These enable us to allow some of the
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  7) # not so generic stuff below
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  8) CONFIG_HYPERVISOR_GUEST=y
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  9) CONFIG_PCI=y
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 10) CONFIG_PCI_MSI=y
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 11) CONFIG_X86_MCE=y
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 12) CONFIG_ACPI_PROCESSOR=y
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 13) CONFIG_CPU_FREQ=y
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 14) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 15) # x86 xen specific config options
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 16) CONFIG_XEN_PVH=y
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 17) CONFIG_XEN_MAX_DOMAIN_MEMORY=500
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 18) CONFIG_XEN_SAVE_RESTORE=y
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 19) # CONFIG_XEN_DEBUG_FS is not set
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 20) CONFIG_XEN_MCE_LOG=y
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 21) CONFIG_XEN_ACPI_PROCESSOR=m
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 22) # x86 specific backend drivers
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 23) CONFIG_XEN_PCIDEV_BACKEND=m
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 24) # x86 specific frontend drivers
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 25) CONFIG_XEN_PCIDEV_FRONTEND=m
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 26) # depends on MEMORY_HOTPLUG, arm64 doesn't enable this yet,
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 27) # move to generic config if it ever does.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 28) CONFIG_XEN_BALLOON_MEMORY_HOTPLUG=y