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