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