xref: /optee_os/core/kernel/sub.mk (revision 95134dac4b220a8936242b9589773195ab1d93d8)