xref: /optee_os/core/arch/riscv/kernel/sub.mk (revision 53877f84472e6d29f2695bfe20d05bed577325c1)