BR2_PACKAGE_PARSEC_BENCHMARK=y

#BR2_PACKAGE_PARSEC_BENCHMARK_BUILD_LIST="splash2x.fmm"
#BR2_PACKAGE_PARSEC_BENCHMARK_INPUT_SIZE="simsmall"

# Because PARSEC + its data are huge. TODO: can't we automate calculating the size?
# Problems will arise if someone tries to use two such benchmarks.
# Cannot be selected automatically from Kconfig:
# https://stackoverflow.com/questions/40309054/how-to-select-the-value-of-a-string-option-from-another-option-in-kbuild-kconfig/49096538#49096538
BR2_TARGET_ROOTFS_EXT2_SIZE="128M"

#BR2_PACKAGE_PARSEC_BENCHMARK_PARSECMGMT=y
#BR2_TARGET_ROOTFS_EXT2_SIZE="1500M"