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