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