xref: /optee_os/core/kernel/sub.mk (revision 4576dbb38a6f39534ba4a385eb647b61209f440c)