CONFIG_SRAM_SIZE=256 CONFIG_DEMAND_PAGING=y CONFIG_DEMAND_PAGING_ALLOW_IRQ=y CONFIG_DEMAND_PAGING_STATS=y CONFIG_DEMAND_MAPPING=y CONFIG_LINKER_USE_ONDEMAND_SECTION=y CONFIG_SEMIHOST=y CONFIG_BACKING_STORE_ONDEMAND_SEMIHOST=y