add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

1
2
3
4
label NanoPi Neo4 linux
  kernel /boot/Image
  devicetree /boot/rk3399-nanopi-neo4.dtb
  append earlycon=uart8250,mmio32,0xff1a0000 root=/dev/mmcblk1p1 rootwait