{
    "board" : {
        "cores" : [
            "a53", "a53", "a53", "a53",
            "a72", "a72", "a72", "a72"
        ],
        "big_core" : "a72",
        "modules" : ["bl", "cpufreq"]
    },
    "nrg_model" : {
        "little" : {
            "cpu" : {
                "nrg_max" :   201,
                "cap_max" :   438
            },
            "cluster" : {
                "nrg_max" :    66
            }
        },
        "big": {
            "cpu" : {
                "nrg_max" :  1138,
                "cap_max" :  1024
            },
            "cluster" : {
                "nrg_max" :   203
            }
        }
    },

    "update-config" : {
        "kernel" : {
            "build-script" : "update-script.sh kernel build",
            "flash-script" : "update-script.sh kernel flash"
        },
        "all" : {
            "build-script" : "update-script.sh all build",
            "flash-script" : "update-script.sh all flash"
        }
    }
}