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