From ab9fe9cc6c493778b2d3e539daad1b5816379859 Mon Sep 17 00:00:00 2001 From: Martin Stein Date: Mon, 7 Mar 2016 10:29:45 +0100 Subject: [PATCH] tz_vmm usb_armory: update binary URIs The binaries were moved to the genode.org webserver as free bandwidth of the previous Github LFS was depleted. Fixes #1902 --- doc/release_notes-15-11.txt | 2 +- repos/os/run/tz_vmm.run | 8 ++++---- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/doc/release_notes-15-11.txt b/doc/release_notes-15-11.txt index ce4bcb464..397dda8ac 100644 --- a/doc/release_notes-15-11.txt +++ b/doc/release_notes-15-11.txt @@ -1303,7 +1303,7 @@ You can build the demo by executing A tutorial on how to create a bootable SD card can be found in the corresponding run script _os/tz_vmm.run_. A tutorial on how to reproduce the pre-built Linux image, Rootfs and DTB - used by the run script - can be found -at [https://github.com/m-stein/genode_binaries/blob/master/tz_vmm/usb_armory/README]. +at [http://genode.org/files/release-15.11/usb_armory_tz_vmm/README]. NOVA diff --git a/repos/os/run/tz_vmm.run b/repos/os/run/tz_vmm.run index 8dab4d2a3..f4ba47c5f 100644 --- a/repos/os/run/tz_vmm.run +++ b/repos/os/run/tz_vmm.run @@ -78,7 +78,7 @@ # # :Tutorial on how to reproduce the Linux images: # -# [https://github.com/m-stein/genode_binaries/blob/master/tz_vmm/usb_armory/README] +# [http://genode.org/files/release-15.11/usb_armory_tz_vmm/README] # # :Wiki about the USB Armory and the Linux: # @@ -198,7 +198,7 @@ install_config $config cd bin if { $inversepath_linux } { - set linux_uri "https://github.com/m-stein/genode_binaries/raw/master/tz_vmm/usb_armory/linux" + set linux_uri "http://genode.org/files/release-15.11/usb_armory_tz_vmm/linux" } elseif { $freescale_linux } { @@ -216,7 +216,7 @@ set boot_modules { core init tz_vmm linux } if { $dtb } { # download and add DTB - set dtb_uri "https://github.com/m-stein/genode_binaries/raw/master/tz_vmm/usb_armory/dtb" + set dtb_uri "http://genode.org/files/release-15.11/usb_armory_tz_vmm/dtb" if {![file exists dtb]} { puts "Download device tree ..." exec >& /dev/null wget -c -O dtb $dtb_uri @@ -235,7 +235,7 @@ if { $mmc_rootfs } { lappend boot_modules part_blk # download and add rootfs - set rootfs_uri "https://github.com/m-stein/genode_binaries/raw/master/tz_vmm/usb_armory/rootfs" + set rootfs_uri "http://genode.org/files/release-15.11/usb_armory_tz_vmm/rootfs" if {![file exists rootfs]} { puts "Download rootfs ..." exec >& /dev/null wget -c -O rootfs.gz $rootfs_uri.gz