c9955cf861
This adds the bits to pin the GCOV sections to the pinned sections so they can be accessed during boot when demand paging is enabled. Or else accessing them would result in page faults. Signed-off-by: Daniel Leung <daniel.leung@intel.com>
12 lines
478 B
CMake
12 lines
478 B
CMake
# SPDX-License-Identifier: Apache-2.0
|
|
|
|
zephyr_sources_ifdef(CONFIG_COVERAGE_GCOV coverage.c)
|
|
|
|
if(CONFIG_DEMAND_PAGING AND CONFIG_COVERAGE)
|
|
zephyr_linker_sources_ifdef(CONFIG_COVERAGE_GCOV PINNED_RAM_SECTIONS coverage_ram.ld)
|
|
zephyr_linker_sources_ifdef(CONFIG_COVERAGE_GCOV PINNED_RODATA coverage_rodata.ld)
|
|
else()
|
|
zephyr_linker_sources_ifdef(CONFIG_COVERAGE_GCOV RAM_SECTIONS coverage_ram.ld)
|
|
zephyr_linker_sources_ifdef(CONFIG_COVERAGE_GCOV RODATA coverage_rodata.ld)
|
|
endif()
|