But it is throwing the following error :
Download initramfs ...
child process exited abnormally
    while executing
"exec >& /dev/null wget -c -O bin/initrd.gz $init_uri"
    invoked from within
"if {![file exists bin/initrd.gz]} {
    puts "Download initramfs ..."
    exec >& /dev/null wget -c -O bin/initrd.gz $init_uri
}"
    (file "/home/chirag/Desktop/genode/repos/os/run/tz_vmm.run" line 40)
    invoked from within
"source $include_name"
    ("foreach" body line 3)
    invoked from within
"foreach include_name [get_cmd_arg --include ""] {
    puts "using run script $include_name"
    source $include_name
}"
    (file "/home/chirag/Desktop/genode/tool/run" line 947)
make: *** [run/tz_vmm] Error 1