This directory /home/groups/t/to/tomoyo/src/linux-6.12-rc7//include/platforms/ 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.