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