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