0bd95509f6
In d540cf8877 I tried to optionally enable the cache management
functions in Open-AMP introducing a new CONFIG_OPENAMP_WITH_DCACHE
symbol.
This is not working. Introduce a proper fix to have this actually
working correctly as intended.
Signed-off-by: Carlo Caione <ccaione@baylibre.com>
37 lines
824 B
Plaintext
37 lines
824 B
Plaintext
# Copyright (c) 2018 Linaro Limited
|
|
# SPDX-License-Identifier: Apache-2.0
|
|
|
|
config OPENAMP
|
|
bool "OpenAMP Support"
|
|
select LIBMETAL
|
|
help
|
|
This option enables the OpenAMP IPC library
|
|
|
|
if OPENAMP
|
|
|
|
config OPENAMP_SRC_PATH
|
|
string "OpenAMP library source path"
|
|
default "open-amp"
|
|
depends on OPENAMP
|
|
help
|
|
This option specifies the path to the source for the open-amp library
|
|
|
|
config OPENAMP_MASTER
|
|
bool "OpenAMP Master Support"
|
|
default y
|
|
help
|
|
This option enables support for OpenAMP VirtIO Master
|
|
|
|
config OPENAMP_SLAVE
|
|
bool "OpenAMP Slave Support"
|
|
default y
|
|
help
|
|
This option enables support for OpenAMP VirtIO Slave
|
|
|
|
config OPENAMP_WITH_DCACHE
|
|
bool "Build OpenAMP with vrings cache operations enabled"
|
|
depends on CACHE_MANAGEMENT
|
|
help
|
|
Build OpenAMP with vrings cache operations enabled.
|
|
endif # OPENAMP
|