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