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