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