Merge "Add veridex project." into pi-dev