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