/src/kernel/

• ../
• config-kernel
• genpatches
• hardened-patches