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