xref: /optee_os/core/kernel/sub.mk (revision af0c87eccf97c3dc97cfb68f2dffb487343388bc)