/src/kernel/cmake/

• ../
• kernel.cmake