add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 device/rockchip/rk3588/boot4recovery.its
..
..
@@ -10,7 +10,7 @@
10
10
 
11
11
     images {
12
12
         fdt {
13
-            data = /incbin/("kernel/arch/arm64/boot/dts/rockchip/rk3588-evb1-lp4-v10-linux.dtb");
13
+            data = /incbin/("kernel/arch/arm64/boot/dts/rockchip/NK-6A13_V0A.dtb");
14
14
             type = "flat_dt";
15
15
             arch = "arm64";
16
16
             compression = "none";