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