From f75243f5dd69fbdee9467a86eebd6676aacb4748 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Wed, 30 Oct 2013 08:43:13 +0100
Subject: [PATCH] Change codezero download location to github

Because the l4dev.org server seems to be unreliable, we obtain the
source code from github.
---
 base-codezero/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/base-codezero/Makefile b/base-codezero/Makefile
index ff518626c..421c0c12b 100644
--- a/base-codezero/Makefile
+++ b/base-codezero/Makefile
@@ -6,7 +6,7 @@
 
 VERBOSE    ?= @
 ECHO        = @echo
-GIT_URL     = http://git.l4dev.org/codezero.git
+GIT_URL     = https://github.com/nfeske/codezero.git
 GIT_REV     = 6fa4884a5a1cf6207372f69ae01e5faa6d5a39c8
 CONTRIB_DIR = contrib
 PATCHES     = $(shell find patches -name *.patch)