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