xref: /optee_os/core/arch/riscv/kernel/sub.mk (revision 3a5e9803dbd02cb56316be45b127438b1291beaf)