add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/arch/arm64/boot/dts/rockchip/rk3588.dtsi
..
..
@@ -684,7 +684,7 @@
684
684
 	};
685
685
 
686
686
 	gmac0: ethernet@fe1b0000 {
687
-		compatible = "rockchip,rk3588-gmac", "snps,dwmac-4.20a";
687
+		compatible = "atemsys","!!rockchip,rk3588-gmac", "!!snps,dwmac-4.20a";
688
688
 		reg = <0x0 0xfe1b0000 0x0 0x10000>;
689
689
 		interrupts = <GIC_SPI 227 IRQ_TYPE_LEVEL_HIGH>,
690
690
 			     <GIC_SPI 226 IRQ_TYPE_LEVEL_HIGH>;