xref: /optee_os/core/arch/riscv/kernel/sub.mk (revision 93e54a63925fd5a785bb13a4cc3a9acbd0f1d2c6)