This directory /home/groups/t/to/tomoyo/src/linux-6.12-rc7//tools/sched_ext/include/vmlinux/ does not exist.
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.