/tools/templates/core_pkg/kernel-debug/