See kernel/README for more details.

Current git branches include:

galileo
intel_branch
master

You can switch to one of the branches above by first cloning the repo and then
checking out the specific branch. 

$git checkout name-of-branch

The intel_branch is the most recent branch for development of Quest(-V) on
Intel-based single board computers, such as the Edison, MinnowMax and
Galileo. An edison branch is forthcoming.