Looking at the projects on the Coral board, one is setup with an RPi and the Coral USB but the comments state that the dev board can be used as an alternative. Is it the same process when it comes to downloading & installing the code from git to the dev board as it is to an RPi?