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