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