add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

BoardConfig-rk3568-evb1-ddr4-v10.mk does not exist in tree b03afb3a48717f0fdb0d2b113ff2aa0ff8cb530f