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