add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

1
2
3
4
Label imx7d-pico-buildroot
  kernel /boot/zImage
  devicetree /boot/imx7d-pico-pi.dtb
  append root=PARTUUID=${uuid} rootwait rw console=${console},${baudrate}