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