cos / cos / overlays / board-overlays / 72f651b3f18b02908515304d4c4484d1698f8fe6 / . / project-edgeos / sys-kernel / dump-capture-kernel / files / build_kernel_config.py