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