But let nuttx/sched.h include sched.h instead to avoid expose nuttx kernel API to userspace. Signed-off-by: Xiang Xiao <xiaoxiang@xiaomi.com> Change-Id: I6fe673364be9eb1259381e6575d4c1a9fea58097