Constant CONFIG_KERNEL_BIN_NAME 

pub const CONFIG_KERNEL_BIN_NAME: &str = "zephyr";