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