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