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