在 Linux 上使用 stress-ng 工具“#stress-ng -c0 -l100”给 cpu 提供 100% 的负载，xenomai 的运行时间为 750us，周期为 1ms。
watch -n0 "cat /proc/xenomai/stat" 通过命令，我们能够验证 CPU 使用率为 75%。但是，我使用 tracd-cmd 检查了 xenomai 和 linux 的 cpu 配额，我预计 xenomai 会使用更多 cpu，因为它的优先级高于普通 Linux，但结果并非如此。图中“ecat-embedded”的任务就是xenomai任务。为什么会出现这些结果？