{
    "board" : {
	"cores" : [
	    "A53", "A53", "A53", "A53",
	    "A72", "A72"
	],
	"big_core" : "A72",
	"modules" : ["bl", "cpufreq", "cpuidle"]
    },
    "nrg_model": {
	"big": {
	    "cluster": {
		"nrg_max": 78
	    },
	    "cpu": {
		"cap_max": 1024,
		"nrg_max": 1893
	    }
	},
	"little": {
	    "cluster": {
		"nrg_max": 56
	    },
	    "cpu": {
		"cap_max": 472,
		"nrg_max": 215
	    }
	}
    }
}