k20pro的raphael源码找不到

我的手机是k20 pro,下载了mkq-mr1分支的源码,lunch mk_raphael_userdebug不行报错,找仓库只找到kernel部分,vendor device对应的是哪个呢?