config:
    device: generic_android
    device_config:
      core_names: [denver, denver]
    run_name: ART_benchmarking
global:
    iterations: 13
workloads:
    - name: homescreen
      params:
        duration: 2
    - id: linpack
      runtime_parameters:
        sysfile_values:
          /sys/devices/system/cpu/cpu1/cpufreq/scaling_governor: userspace
          /sys/devices/system/cpu/cpu0/cpufreq/scaling_max_freq: 1224000
          /sys/devices/system/cpu/cpu0/cpufreq/scaling_min_freq: 1224000
      name: linpack