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