| # 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() |