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