sface-GITPATH := git://git.planet-lab.org/sface.git@sface-0.9-9
nodeconfig-GITPATH := git://git.planet-lab.org/nodeconfig.git@nodeconfig-5.2-4
bootmanager-GITPATH := git://git.planet-lab.org/bootmanager.git@bootmanager-5.2-5
sface-GITPATH := git://git.planet-lab.org/sface.git@sface-0.9-9
nodeconfig-GITPATH := git://git.planet-lab.org/nodeconfig.git@nodeconfig-5.2-4
bootmanager-GITPATH := git://git.planet-lab.org/bootmanager.git@bootmanager-5.2-5