xref: /optee_os/core/arch/riscv/kernel/sub.mk (revision 23419643ecf2dcce31ccc2ee03dfa74096a45de5)