add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

BoardConfig-rk3399-evb-ind-lpddr4.mk does not exist in tree b03afb3a48717f0fdb0d2b113ff2aa0ff8cb530f