2019-04-06 21:08:09 +08:00
|
|
|
# SPDX-License-Identifier: Apache-2.0
|
|
|
|
|
2018-08-29 20:01:46 +08:00
|
|
|
zephyr_sources_ifdef(CONFIG_COVERAGE_GCOV coverage.c)
|
2019-03-20 20:20:11 +08:00
|
|
|
|
2022-07-27 04:17:55 +08:00
|
|
|
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()
|
2019-03-20 20:20:11 +08:00
|
|
|
zephyr_linker_sources_ifdef(CONFIG_COVERAGE_GCOV RAM_SECTIONS coverage_ram.ld)
|
2019-09-11 23:16:29 +08:00
|
|
|
zephyr_linker_sources_ifdef(CONFIG_COVERAGE_GCOV RODATA coverage_rodata.ld)
|
2022-07-27 04:17:55 +08:00
|
|
|
endif()
|