forked from Minki/linux
abd135ba21
This is simple pool that uses kernel page allocator. This pool can be used in case OP-TEE supports dynamic shared memory. Signed-off-by: Volodymyr Babchuk <vlad.babchuk@gmail.com> Signed-off-by: Jens Wiklander <jens.wiklander@linaro.org>
8 lines
174 B
Makefile
8 lines
174 B
Makefile
# SPDX-License-Identifier: GPL-2.0
|
|
obj-$(CONFIG_OPTEE) += optee.o
|
|
optee-objs += core.o
|
|
optee-objs += call.o
|
|
optee-objs += rpc.o
|
|
optee-objs += supp.o
|
|
optee-objs += shm_pool.o
|