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