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