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