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