Hashtree Patcher is an Android command-line tool that patches vendor_dlkm and vbmeta for booting without disabling verity. - View it on GitHub