{
    "board" : {
	"cores" : [
	    "A53", "A53",
	    "A72", "A72"
	],
	"big_core" : "A72",
	"modules" : ["bl", "cpufreq", "cpuidle"]
    },
    "nrg_model": {
	"big": {
	    "cluster": {
		"nrg_max": 252
	    },
	    "cpu": {
		"cap_max": 1024,
		"nrg_max": 1098
	    }
	},
	"little": {
	    "cluster": {
		"nrg_max": 220
	    },
	    "cpu": {
		"cap_max": 591,
		"nrg_max": 217
	    }
	}
    }
}