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