add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

1
2
3
4
5
# linux custom kernel at least 4.4.x
BR2_PACKAGE_HOST_LINUX_HEADERS_CUSTOM_4_4=y
 
BR2_LINUX_KERNEL_CUSTOM_LOCAL=y
BR2_LINUX_KERNEL_CUSTOM_LOCAL_LOCATION="$(TOPDIR)/../kernel"