xref: /optee_os/core/arch/riscv/kernel/sub.mk (revision 46a203186ddf0f1f4c154fbbe607293290641ec5)