Check md5 sum of initramfs file in l4lx run-script

* Always download md5sum file and check downloaded binaries
* Extend sleep time in l4linux_netperf script, so that DHCP has enough time
* Fix regexp rule in l4linux_netperf run script to work with MAC addresses
  containing only numbers

Fix #787

ports-foc/run/l4android.run

@@ -263,6 +263,12 @@ if {![file exists bin/system-ginger.img]} {
 	puts "Download system image ..."
 	exec curl $system_uri > bin/system-ginger.img 2> /dev/null
 }
+exec >& /dev/null wget -O bin/root-ginger.gz.md5 $initrd_uri.md5
+exec >& /dev/null wget -O bin/system-ginger.img.md5 $system_uri.md5
+cd bin
+exec md5sum -c root-ginger.gz.md5
+exec md5sum -c system-ginger.img.md5
+cd ..
 
 build_boot_image  [join $boot_modules " "]
 

ports-foc/run/l4linux.run

@@ -156,6 +156,10 @@ if {![file exists bin/initrd.gz]} {
 	puts "Download initramfs ..."
 	exec >& /dev/null wget -c -O bin/initrd.gz $uri
 }
+exec >& /dev/null wget -O bin/initrd.gz.md5 $uri.md5
+cd bin
+exec md5sum -c initrd.gz.md5
+cd ..
 
 build_boot_image  [join $boot_modules " "]
 
@@ -183,4 +187,4 @@ expect {
 }
 
 puts "Test succeeded"
-exec rm bin/initrd.gz
+exec rm bin/initrd.gz bin/initrd.gz.md5

ports-foc/run/l4linux_ahci_bench.run

@@ -114,11 +114,15 @@ set boot_modules {
 
 lappend_if $interpose_part_blk boot_modules part_blk
 
-set uri "https://github.com/m-stein/genode_related/raw/master/arndale/ahci_bench/l4lx/initrd.gz"
+set uri "http://genode.org/files/l4linux/initrd-ahci-bench.gz"
 if {![file exists bin/initrd.gz]} {
 	puts "Download initramfs ..."
 	exec >& /dev/null wget -c -O bin/initrd.gz $uri
 }
+exec >& /dev/null wget -O bin/initrd.gz.md5 $uri.md5
+cd bin
+exec md5sum -c initrd.gz.md5
+cd ..
 
 set fiasco_serial_esc_arg ""
 

ports-foc/run/l4linux_dynamic.run

@@ -367,7 +367,7 @@ if {![file exists bin/initrd.gz]} {
 	puts "Download initramfs ..."
 	exec >& /dev/null wget -c -O bin/initrd.gz $uri
 }
-exec >& /dev/null wget -c -O bin/initrd.gz.md5 $uri.md5
+exec >& /dev/null wget -O bin/initrd.gz.md5 $uri.md5
 cd bin
 exec md5sum -c initrd.gz.md5
 cd ..

ports-foc/run/l4linux_netperf.run

@@ -130,6 +130,10 @@ if {![file exists bin/initrd.gz]} {
 	puts "Download initramfs ..."
 	exec >& /dev/null wget -c -O bin/initrd.gz $uri
 }
+exec >& /dev/null wget -O bin/initrd.gz.md5 $uri.md5
+cd bin
+exec md5sum -c initrd.gz.md5
+cd ..
 
 build_boot_image  [join $boot_modules " "]
 
@@ -137,7 +141,7 @@ build_boot_image  [join $boot_modules " "]
 #
 # Execute test case
 #
-set ip_match "(\[0-9]{1,3})\.(\[0-9]{1,3})\.(\[0-9]{1,3})\.(\[0-9]{1,3})"
+set ip_match "(\[0-9]{1,3})\\.(\[0-9]{1,3})\\.(\[0-9]{1,3})\\.(\[0-9]{1,3})"
 
 #
 # Local IP
@@ -151,7 +155,7 @@ regexp $ip_match $ip_string ip_local
 #
 run_genode_until "Link status is: 1.*" 220
 set serial_id $spawn_id
-sleep 3
+sleep 8
 send "ip addr show dev eth0\n"
 run_genode_until "inet.*\n" 3 $serial_id
 regexp $ip_match $output ip_remote

ports-foc/run/linux_panda.run

@@ -115,12 +115,15 @@ set boot_modules {
 	usb_drv
 }
 
-set uri "https://github.com/downloads/skalk/genode/busybox-initrd-arm-20120710.gz"
-
+set uri "http://genode.org/files/l4linux/busybox-initrd-arm-20120710.gz"
 if {![file exists bin/initrd.gz]} {
 	puts "Download initramfs ..."
 	exec >& /dev/null wget -c -O bin/initrd.gz $uri
 }
+exec >& /dev/null wget -O bin/initrd.gz.md5 $uri.md5
+cd bin
+exec md5sum -c initrd.gz.md5
+cd ..
 
 build_boot_image  [join $boot_modules " "]
 

ports-foc/run/multi_linux.run

@@ -152,6 +152,10 @@ if {![file exists bin/initrd.gz]} {
 	puts "Download initramfs ..."
 	exec >& /dev/null wget -c -O bin/initrd.gz $uri
 }
+exec >& /dev/null wget -O bin/initrd.gz.md5 $uri.md5
+cd bin
+exec md5sum -c initrd.gz.md5
+cd ..
 
 build_boot_image  [join $boot_modules " "]
 

ports-foc/run/smp_linux_panda.run

@@ -162,6 +162,10 @@ if {![file exists bin/initrd.gz]} {
 	puts "Download initramfs ..."
 	exec >& /dev/null wget -c -O bin/initrd.gz $uri
 }
+exec >& /dev/null wget -O bin/initrd.gz.md5 $uri.md5
+cd bin
+exec md5sum -c initrd.gz.md5
+cd ..
 
 build_boot_image  [join $boot_modules " "]
 

ports-foc/run/two_linux.run

@@ -215,6 +215,10 @@ if {![file exists bin/initrd.gz]} {
 	puts "Download initramfs ..."
 	exec >& /dev/null wget -c -O bin/initrd.gz $uri
 }
+exec >& /dev/null wget -O bin/initrd.gz.md5 $uri.md5
+cd bin
+exec md5sum -c initrd.gz.md5
+cd ..
 
 build_boot_image  [join $boot_modules " "]
 

ports-foc/run/two_linux_panda.run

@@ -252,6 +252,10 @@ if {![file exists bin/initrd.gz]} {
 	puts "Download initramfs ..."
 	exec >& /dev/null wget -c -O bin/initrd.gz $uri
 }
+exec >& /dev/null wget -O bin/initrd.gz.md5 $uri.md5
+cd bin
+exec md5sum -c initrd.gz.md5
+cd ..
 
 build_boot_image  [join $boot_modules " "]