/home/data/hc/rk3588_linux/kernel/xenomai-v3.2.4/kernel/cobalt/arch/arm64/ipipe/include/asm/xenomai/thread.h does not exist in tree b03afb3a48717f0fdb0d2b113ff2aa0ff8cb530f
