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