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