ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-06-02 23:50:55 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

multi_linux.run: fix initrd locations (fix #885)

Browse Source
This commit is contained in:
Stefan Kalkowski 2013-09-23 14:43:52 +02:00 committed by Norman Feske
parent 8a2e543b69
commit f17727b70b
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
ports-foc/run/multi_linux.run
View File

@ -142,9 +142,9 @@ lappend_if [have_spec framebuffer] boot_modules fb_drv
lappend_if [have_spec usb] boot_modules usb_drv lappend_if [have_spec usb] boot_modules usb_drv
if {[have_spec x86]} { if {[have_spec x86]} {
set uri "https://github.com/downloads/skalk/genode/busybox-initrd-x86-20120618.gz" set uri "http://genode.org/files/l4linux/busybox-initrd-x86-20120618.gz"
} elseif {[have_spec arm]} { } elseif {[have_spec arm]} {
set uri "https://github.com/downloads/skalk/genode/busybox-initrd-arm-20120618.gz" set uri "http://genode.org/files/l4linux/busybox-initrd-arm-20120618.gz"
} }
if {![file exists bin/initrd.gz]} { if {![file exists bin/initrd.gz]} {
puts "Download initramfs ..." puts "Download initramfs ..."