1# SPDX-License-Identifier: Apache-2.0
2
3zephyr_sources_ifdef(CONFIG_COVERAGE_GCOV coverage.c)
4
5if(CONFIG_DEMAND_PAGING AND CONFIG_COVERAGE)
6zephyr_linker_sources_ifdef(CONFIG_COVERAGE_GCOV PINNED_RAM_SECTIONS coverage_ram.ld)
7zephyr_linker_sources_ifdef(CONFIG_COVERAGE_GCOV PINNED_RODATA coverage_rodata.ld)
8else()
9zephyr_linker_sources_ifdef(CONFIG_COVERAGE_GCOV RAM_SECTIONS coverage_ram.ld)
10zephyr_linker_sources_ifdef(CONFIG_COVERAGE_GCOV RODATA coverage_rodata.ld)
11endif()
12