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