1{ 2 "board" : { 3 "cores" : [ 4 "A53", "A53", "A53", "A53", 5 "A72", "A72" 6 ], 7 "big_core" : "A72", 8 "modules" : ["bl", "cpufreq", "cpuidle"] 9 }, 10 "nrg_model": { 11 "big": { 12 "cluster": { 13 "nrg_max": 78 14 }, 15 "cpu": { 16 "cap_max": 1024, 17 "nrg_max": 1893 18 } 19 }, 20 "little": { 21 "cluster": { 22 "nrg_max": 56 23 }, 24 "cpu": { 25 "cap_max": 472, 26 "nrg_max": 215 27 } 28 } 29 } 30} 31