xref: /optee_os/core/arch/riscv/kernel/sub.mk (revision 11af44c2fe121f5f991753a648e17676834183cf)