Workspace of ttcn3-ggsn-test-kernel-git on build2-deb10build-ansible

	amdtee
	optee
	Kconfig	Aug 1, 2024, 5:52:41 PM	510 B
	Makefile	Mar 1, 2021, 8:04:04 AM	196 B
	tee_core.c	Aug 1, 2024, 5:52:41 PM	30.09 KiB
	tee_private.h	Aug 1, 2024, 5:52:41 PM	1.79 KiB
	tee_shm_pool.c	Aug 1, 2024, 5:52:41 PM	4.51 KiB
	tee_shm.c	Aug 1, 2024, 5:52:41 PM	10.96 KiB
(all files in zip)