/kernel/details/

• ../
• CMakeLists.txt
• Platform.h