Orange Pi5 kernel

^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  1) // SPDX-License-Identifier: GPL-2.0
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  2) #include <linux/kernel.h>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  3) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  4) #include <asm/v7m.h>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  5) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  6) #include <asm/mach/arch.h>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  7) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  8) static const char *const efm32gg_compat[] __initconst = {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  9) 	"efm32,dk3750",
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 10) 	NULL
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 11) };
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 12) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 13) DT_MACHINE_START(EFM32DT, "EFM32 (Device Tree Support)")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 14) 	.dt_compat = efm32gg_compat,
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 15) 	.restart = armv7m_restart,
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 16) MACHINE_END