nodeconfig-GITPATH := git://git.planet-lab.org/nodeconfig.git@nodeconfig-5.0-5
bootmanager-GITPATH := git://git.planet-lab.org/bootmanager.git@bootmanager-5.0-17
pypcilib-GITPATH := git://git.planet-lab.org/pypcilib.git@pypcilib-0.2-9
nodeconfig-GITPATH := git://git.planet-lab.org/nodeconfig.git@nodeconfig-5.0-5
bootmanager-GITPATH := git://git.planet-lab.org/bootmanager.git@bootmanager-5.0-17
pypcilib-GITPATH := git://git.planet-lab.org/pypcilib.git@pypcilib-0.2-9