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