xref: /optee_os/core/arch/riscv/kernel/sub.mk (revision 4583de067b5da0cbcbdb341e7a4d9d0cdec2d033)