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