xref: /optee_os/core/arch/riscv/kernel/sub.mk (revision 76a38f4fa14f62ef2cd99781e17436360bc310e6)