cppflags-y += -I$(sub-dir)/../..

srcs-$(CFG_RV64_$(sm)) += utee_syscalls_rv64.S