{
    "board" : {
        "cores" : [
            "A53", "A53", "A53", "A53",
            "A73", "A73", "A73", "A73"
        ],
        "big_core" : "A73",
        "modules" : ["bl", "cpufreq", "cpuidle"]
    },
    "nrg_model": {
        "big": {
            "cluster": {
                "nrg_max": 413
            },
            "cpu": {
                "cap_max": 1023,
                "nrg_max": 1214
            }
        },
        "little": {
            "cluster": {
                "nrg_max": 84
            },
            "cpu": {
                "cap_max": 402,
                "nrg_max": 242
            }
        }
    },
    "abi": "arm64",
    "clusters": {
        "0": [
            0,
            1,
            2,
            3
        ],
        "1": [
            4,
            5,
            6,
            7
        ]
    },
    "cpus_count": 8,
    "freqs": {
        "0": [
            533000,
            999000,
            1402000,
            1709000,
            1844000
        ],
        "1": [
            903000,
            1421000,
            1805000,
            2112000,
            2362000
        ]
    },
    "topology": [
        [
            0,
            1,
            2,
            3
        ],
        [
            4,
            5,
            6,
            7
        ]
    ]
}