Raspberry Pi port, piCore-15.0 is available!
CONFIG_TOP=y# CONFIG_FEATURE_TOP_INTERACTIVE is not set [the default]CONFIG_FEATURE_TOP_CPU_USAGE_PERCENTAGE=yCONFIG_FEATURE_TOP_CPU_GLOBAL_PERCENTS=yCONFIG_FEATURE_TOP_SMP_CPU=yCONFIG_FEATURE_TOP_DECIMALS=yCONFIG_FEATURE_TOP_SMP_PROCESS=yCONFIG_FEATURE_TOPMEM=y