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