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