function kernelConfig()

in src/html_files/kernel_config.ts [114:142]


function kernelConfig(diff: boolean) {
    if (got_kernel_config_data && current_kernel_diff_status == diff) {
        return;
    }
    current_kernel_diff_status = diff;
    var data = runs_raw;
    if (!got_kernel_config_data) {
        data.forEach(function (value, index, arr) {
            let this_run_data;
            for (let i = 0; i < kernel_config_raw_data['runs'].length; i++) {
                if (kernel_config_raw_data['runs'][i]['name'] == value) {
                    this_run_data = kernel_config_raw_data['runs'][i];
                    form_kernel_data(value, this_run_data);
                }
            }
        })
        split_keys(kernel_config_runs, kernel_config_common_keys);
    }
    clear_and_create('kernel');
    data.forEach(function (value, index, arr) {
        let elem_id = `${value}-kernel-per-data`;
        if (current_kernel_diff_status) {
            kernelConfigDiff(value, elem_id);
        } else {
            kernelConfigNoDiff(value, elem_id);
        }
    })
    got_kernel_config_data = true;
}