Update development setup to specify ot7 & hbf repo