xref: /optee_os/core/arch/riscv/kernel/sub.mk (revision 385b04367ff5d3da68b58e72a94d8e412e18e6e9)