Re: vbox_usb_run bin/nic_drv missing

2015-12-22 Thread adrian
Thanks,

I am getting a compile error when running tool_chain_rump script.
I am running this on Ubuntu 15.10. It looks as if there is a stricter 
compiler finding optimization problems. How can we get around this ?

Regards, Adrian

./mkremote.sh fsck_ext2fs rumpsrc/sbin/fsck_ext2fs/fsck_ext2fs.ro 
rump/lib/libutil.a
( cd rumpsrc/sbin/fsck_ffs && 
/home/adrian/genode-vbox_usb_run/tmp/contrib/rumprun/rumptools/rumpmake 
LIBCRT0= BUILDRUMP_CFLAGS="-fPIC -std=gnu99 -D__NetBSD__ " fsck_ffs.ro )
 compile  fsck_ffs/inode.o
inode.c: In function 'swap_dinode2':
inode.c:378:21: error: iteration 2u invokes undefined behavior 
[-Werror=aggressive-loop-optimizations]
  dp2->di_extb[j] = bswap64(dp2->di_extb[j]);
  ^
inode.c:377:4: note: containing loop
 for (j = 0; j < (UFS_NDADDR + UFS_NIADDR + UFS_NXADDR); j++)
 ^
inode.c: In function 'swap_dinode1':
inode.c:362:22: error: iteration 12u invokes undefined behavior 
[-Werror=aggressive-loop-optimizations]
 dp1->di_db[j] = bswap32(dp1->di_db[j]);
   ^
inode.c:361:4: note: containing loop
 for (j = 0; j < (UFS_NDADDR + UFS_NIADDR); j++)
 ^
cc1: all warnings being treated as errors

*** Failed target:  inode.o
*** Failed command: 
/home/adrian/genode-vbox_usb_run/tmp/contrib/rumprun/rumptools/bin/x86_64--netbsd-gcc
 
-O2 -g -fPIC -std=gnu99 -D__NetBSD__ -std=gnu99 -Werror 
-Wno-unused-but-set-variable -Wno-unused-local-typedefs 
-Wno-maybe-uninitialized 
-I/home/adrian/genode-vbox_usb_run/tmp/contrib/rumprun/rumptools/compat/include 
-D__NetBSD__ -Ulinux -U__linux -U__linux__ -U__gnu_linux__ 
-DHAVE_POSIX_MEMALIGN -DHAVE_PTHREAD_SETNAME_2 
--sysroot=/home/adrian/genode-vbox_usb_run/tmp/contrib/rumprun/rumptools/dest 
-I/home/adrian/genode-vbox_usb_run/tmp/contrib/rumprun/rumpsrc/sbin/fsck 
-I/home/adrian/genode-vbox_usb_run/tmp/contrib/rumprun/rumpsrc/sbin/dump 
-DPROGRESS -DWAPBL_DEBUG_PRINT=0 -c inode.c
*** Error code 1

Stop.
nbmake[2]: stopped in 
/home/adrian/genode-vbox_usb_run/tmp/contrib/rumprun/rumpsrc/sbin/fsck_ffs
Makefile:128: recipe for target 'rumpsrc/sbin/fsck_ffs/fsck_ffs.ro' failed
make[1]: *** [rumpsrc/sbin/fsck_ffs/fsck_ffs.ro] Error 1
make[1]: Leaving directory 
'/home/adrian/genode-vbox_usb_run/tmp/contrib/rumprun'
../tool/tool_chain_rump:86: recipe for target 
'contrib/rumprun/.compile.tag' failed
make: *** [contrib/rumprun/.compile.tag] Error 2


On 17.12.2015 14:30, Alexander Boettcher wrote:
> On 17.12.2015 14:10, a3an wrote:
>> Thanks Alex.
>> Another question: how do I build tool_chain_rump ?
> In the genode repository in the tool/ directory you find a script called
> "tool_chain_rump"
>
> If you just invoke it without parameters in a shell it tells you what to
> do, e.g. how to build and install.
>
> Cheers,
>
> Alex.
>
>
> --
> ___
> genode-main mailing list
> genode-main@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main


--
___
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main


Re: vbox_usb_run bin/nic_drv missing

2015-12-17 Thread Christian Helmuth
Hello Adrian,

On Thu, Dec 17, 2015 at 02:10:03PM +0100, a3an wrote:
> Another question: how do I build tool_chain_rump ?

The RUMP tool chain can be build with a script that is located in
/tool/tool_chain_rump. Please note, the script should be
executed from a temporary directory as it downloads and builds a pile
of libraries and programs to the current working directory.

Regards
-- 
Christian Helmuth
Genode Labs

http://www.genode-labs.com/ · http://genode.org/
https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

--
___
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main


Re: vbox_usb_run bin/nic_drv missing

2015-12-17 Thread Alexander Boettcher
On 17.12.2015 14:10, a3an wrote:
> Thanks Alex.
> Another question: how do I build tool_chain_rump ?

In the genode repository in the tool/ directory you find a script called
"tool_chain_rump"

If you just invoke it without parameters in a shell it tells you what to
do, e.g. how to build and install.

Cheers,

Alex.


--
___
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main


Re: vbox_usb_run bin/nic_drv missing

2015-12-17 Thread a3an
Thanks Alex.
Another question: how do I build tool_chain_rump ?

Regards, Adrian Schuur


On 12/17/2015 10:06 AM, Alexander Boettcher wrote:
> Hello,
>
> On 17.12.2015 02:46, a3an wrote:
>> I am using the vbox_usb_run script from Alexander Boettcher to create a
>> VirtualBox/win7 image on a usb stick.
>> At the end of "make -C build/nova_x86_64 run/vbox_usb" I get a nessage
>> suggesting that bin/drv_nic cannot be found.
>> I am sure to have missed a make prepare run of something, I cannot find
>> out what.
>>
>> Could you give me a hint ?
>>
> Check that you have enabled the dde_ipxe repository in your build.conf,
> otherwise the nic driver will be not found nor built.
>
> Cheers,
>
> Alexander Boettcher.
>
>> Thanks, Adrian Schuur
>>
>> adrian@adrian-desktop:~/test/usb/genode-vbox_usb_run$ make -C
>> build/nova_x86_64 run/vbox_usb
>> make: Entering directory
>> `/home/adrian/test/usb/genode-vbox_usb_run/build/nova_x86_64'
>> including /home/adrian/test/usb/genode-vbox_usb_run/tool/run/boot_dir/nova
>> including /home/adrian/test/usb/genode-vbox_usb_run/tool/run/image/disk
>> including
>> /home/adrian/test/usb/genode-vbox_usb_run/repos/ports/run/vbox_usb.run
>> building targets: server/input_merger drivers/nic drivers/audio
>> server/nitpicker app/vbox_pointer server/nit_fb server/report_rom core
>> init virtualbox server/part_blk server/rump_fs drivers/ahci
>> drivers/framebuffer drivers/timer drivers/input drivers/usb drivers/rtc
>> drivers/platform drivers/acpi server/report_rom
>> drivers/platform/x86/device_pd
>> spawn make server/input_merger drivers/nic drivers/audio
>> server/nitpicker app/vbox_pointer server/nit_fb server/report_rom core
>> init virtualbox server/part_blk server/rump_fs drivers/ahci
>> drivers/framebuffer drivers/timer drivers/input drivers/usb drivers/rtc
>> drivers/platform drivers/acpi server/report_rom
>> drivers/platform/x86/device_pd
>> make[1]: Entering directory
>> `/home/adrian/test/usb/genode-vbox_usb_run/build/nova_x86_64'
>> Makefile:115: target `server/report_rom' given more than once in the
>> same rule.
>> checking library dependencies...
>> Skip target drivers/audio/linux because it requires linux
>> Skip target drivers/framebuffer/exynos5 because it requires exynos5
>> Skip target drivers/framebuffer/imx53 because it requires imx53
>> Skip target drivers/framebuffer/omap4 because it requires omap4
>> Skip target drivers/framebuffer/pl11x/pbxa9 because it requires pl11x
>> platform_pbxa9
>> Skip target drivers/framebuffer/pl11x/vpb926 because it requires pl11x
>> platform_vpb926
>> Skip target drivers/framebuffer/rpi because it requires platform_rpi
>> Skip target drivers/framebuffer/sdl because it requires linux sdl
>> Skip target drivers/input/imx53 because it requires imx53
>> Skip target drivers/input/ps2/pl050 because it requires pl050
>> Skip target drivers/nic/lan9118 because it requires lan9118
>> Skip target drivers/nic/linux because it requires linux
>> Skip target drivers/platform/arndale because it requires platform_arndale
>> Skip target drivers/platform/imx53 because it requires imx53
>> Skip target drivers/platform/odroid_x2 because it requires
>> platform_odroid_x2
>> Skip target drivers/platform/rpi because it requires platform_rpi
>> Library platform
>> Library cxx
>> Library syscall
>> Library startup
>> Library base-common
>> Library core
>> Program core/core
>>   COMPILE  version.o
>>   LINK core
>> Library base
>> Program drivers/acpi/x86/acpi_drv
>> Library server
>> Library config
>> Library ahci_platform
>> Program drivers/ahci/ahci_drv
>> Library blit
>> Library x86emu
>> Program drivers/framebuffer/vesa/fb_drv
>> Program drivers/input/dummy/dummy_input_drv
>> Program drivers/input/ps2/x86/ps2_drv
>> Program drivers/platform/x86/device_pd/device_pd
>> Program drivers/platform/x86/platform_drv
>> Program drivers/rtc/x86/rtc_drv
>> Library alarm
>> Library timer
>> Program drivers/timer/timer
>> Library libc-setjmp
>> Library usb
>> Program drivers/usb/usb_drv
>> Library init_pd_args
>> Program init/init
>> Program server/input_merger/input_merger
>> Program server/nit_fb/nit_fb
>> Program server/nitpicker/nitpicker
>> Program server/part_blk/part_blk
>> Program server/report_rom/report_rom
>> Library ldso-startup
>> Library timed_semaphore
>> Library ld
>> CC=/usr/local/genode-gcc/bin/genode-x86-gcc BUILD_CC=cc BUILD_AR=ar
>> BUILD_NM=nm BUILD_OBJCOPY=objcopy
>> AR=/usr/local/genode-gcc/bin/genode-x86-ar
>> NM=/usr/local/genode-gcc/bin/genode-x86-nm
>> OBJCOPY=/usr/local/genode-gcc/bin/genode-x86-objcopy
>> CC_TARGET=genode-x86-gcc
>> /home/adrian/test/usb/genode-vbox_usb_run/contrib/dde_rump-8719ed349bf425eb570d0ee7f16acf980b44adb4/src/lib/dde_rump/buildrump.sh
>> -k -V'MAKEVERBOSE=0' -V'NOGCCERROR=1'  -V'RUMP_LOCKS_UP=yes' -s
>> /home/adrian/test/usb/genode-vbox_usb_run/contrib/dd

Re: vbox_usb_run bin/nic_drv missing

2015-12-17 Thread Alexander Boettcher
Hello,

On 17.12.2015 02:46, a3an wrote:
> I am using the vbox_usb_run script from Alexander Boettcher to create a 
> VirtualBox/win7 image on a usb stick.
> At the end of "make -C build/nova_x86_64 run/vbox_usb" I get a nessage 
> suggesting that bin/drv_nic cannot be found.
> I am sure to have missed a make prepare run of something, I cannot find 
> out what.
> 
> Could you give me a hint ?
> 

Check that you have enabled the dde_ipxe repository in your build.conf,
otherwise the nic driver will be not found nor built.

Cheers,

Alexander Boettcher.

> Thanks, Adrian Schuur
> 
> adrian@adrian-desktop:~/test/usb/genode-vbox_usb_run$ make -C 
> build/nova_x86_64 run/vbox_usb
> make: Entering directory 
> `/home/adrian/test/usb/genode-vbox_usb_run/build/nova_x86_64'
> including /home/adrian/test/usb/genode-vbox_usb_run/tool/run/boot_dir/nova
> including /home/adrian/test/usb/genode-vbox_usb_run/tool/run/image/disk
> including 
> /home/adrian/test/usb/genode-vbox_usb_run/repos/ports/run/vbox_usb.run
> building targets: server/input_merger drivers/nic drivers/audio 
> server/nitpicker app/vbox_pointer server/nit_fb server/report_rom core 
> init virtualbox server/part_blk server/rump_fs drivers/ahci 
> drivers/framebuffer drivers/timer drivers/input drivers/usb drivers/rtc 
> drivers/platform drivers/acpi server/report_rom 
> drivers/platform/x86/device_pd
> spawn make server/input_merger drivers/nic drivers/audio 
> server/nitpicker app/vbox_pointer server/nit_fb server/report_rom core 
> init virtualbox server/part_blk server/rump_fs drivers/ahci 
> drivers/framebuffer drivers/timer drivers/input drivers/usb drivers/rtc 
> drivers/platform drivers/acpi server/report_rom 
> drivers/platform/x86/device_pd
> make[1]: Entering directory 
> `/home/adrian/test/usb/genode-vbox_usb_run/build/nova_x86_64'
> Makefile:115: target `server/report_rom' given more than once in the 
> same rule.
> checking library dependencies...
> Skip target drivers/audio/linux because it requires linux
> Skip target drivers/framebuffer/exynos5 because it requires exynos5
> Skip target drivers/framebuffer/imx53 because it requires imx53
> Skip target drivers/framebuffer/omap4 because it requires omap4
> Skip target drivers/framebuffer/pl11x/pbxa9 because it requires pl11x 
> platform_pbxa9
> Skip target drivers/framebuffer/pl11x/vpb926 because it requires pl11x 
> platform_vpb926
> Skip target drivers/framebuffer/rpi because it requires platform_rpi
> Skip target drivers/framebuffer/sdl because it requires linux sdl
> Skip target drivers/input/imx53 because it requires imx53
> Skip target drivers/input/ps2/pl050 because it requires pl050
> Skip target drivers/nic/lan9118 because it requires lan9118
> Skip target drivers/nic/linux because it requires linux
> Skip target drivers/platform/arndale because it requires platform_arndale
> Skip target drivers/platform/imx53 because it requires imx53
> Skip target drivers/platform/odroid_x2 because it requires 
> platform_odroid_x2
> Skip target drivers/platform/rpi because it requires platform_rpi
>Library platform
>Library cxx
>Library syscall
>Library startup
>Library base-common
>Library core
>Program core/core
>  COMPILE  version.o
>  LINK core
>Library base
>Program drivers/acpi/x86/acpi_drv
>Library server
>Library config
>Library ahci_platform
>Program drivers/ahci/ahci_drv
>Library blit
>Library x86emu
>Program drivers/framebuffer/vesa/fb_drv
>Program drivers/input/dummy/dummy_input_drv
>Program drivers/input/ps2/x86/ps2_drv
>Program drivers/platform/x86/device_pd/device_pd
>Program drivers/platform/x86/platform_drv
>Program drivers/rtc/x86/rtc_drv
>Library alarm
>Library timer
>Program drivers/timer/timer
>Library libc-setjmp
>Library usb
>Program drivers/usb/usb_drv
>Library init_pd_args
>Program init/init
>Program server/input_merger/input_merger
>Program server/nit_fb/nit_fb
>Program server/nitpicker/nitpicker
>Program server/part_blk/part_blk
>Program server/report_rom/report_rom
>Library ldso-startup
>Library timed_semaphore
>Library ld
> CC=/usr/local/genode-gcc/bin/genode-x86-gcc BUILD_CC=cc BUILD_AR=ar 
> BUILD_NM=nm BUILD_OBJCOPY=objcopy 
> AR=/usr/local/genode-gcc/bin/genode-x86-ar 
> NM=/usr/local/genode-gcc/bin/genode-x86-nm 
> OBJCOPY=/usr/local/genode-gcc/bin/genode-x86-objcopy 
> CC_TARGET=genode-x86-gcc 
> /home/adrian/test/usb/genode-vbox_usb_run/contrib/dde_rump-8719ed349bf425eb570d0ee7f16acf980b44adb4/src/lib/dde_rump/buildrump.sh
>  
> -k -V'MAKEVERBOSE=0' -V'NOGCCERROR=1'  -V'RUMP_LOCKS_UP=yes' -s 
> /home/adrian/test/usb/genode-vbox_usb_run/contrib/dde_rump-8719ed349bf425eb570d0ee7f16acf980b44adb4/src/lib/dde_rump/src
>  
> -T 
> /home/adrian/test/usb/genode-vbox_usb_run/build/nova_x86_64/var/libcache/rump/tools
>  
> -o 
> /home/adrian/test/usb/genode-vbox_usb_run/build/nova_x86_64/var/libcache/rump/obj
>  

vbox_usb_run bin/nic_drv missing

2015-12-16 Thread a3an
Hi,

I am using the vbox_usb_run script from Alexander Boettcher to create a 
VirtualBox/win7 image on a usb stick.
At the end of "make -C build/nova_x86_64 run/vbox_usb" I get a nessage 
suggesting that bin/drv_nic cannot be found.
I am sure to have missed a make prepare run of something, I cannot find 
out what.

Could you give me a hint ?

Thanks, Adrian Schuur

adrian@adrian-desktop:~/test/usb/genode-vbox_usb_run$ make -C 
build/nova_x86_64 run/vbox_usb
make: Entering directory 
`/home/adrian/test/usb/genode-vbox_usb_run/build/nova_x86_64'
including /home/adrian/test/usb/genode-vbox_usb_run/tool/run/boot_dir/nova
including /home/adrian/test/usb/genode-vbox_usb_run/tool/run/image/disk
including 
/home/adrian/test/usb/genode-vbox_usb_run/repos/ports/run/vbox_usb.run
building targets: server/input_merger drivers/nic drivers/audio 
server/nitpicker app/vbox_pointer server/nit_fb server/report_rom core 
init virtualbox server/part_blk server/rump_fs drivers/ahci 
drivers/framebuffer drivers/timer drivers/input drivers/usb drivers/rtc 
drivers/platform drivers/acpi server/report_rom 
drivers/platform/x86/device_pd
spawn make server/input_merger drivers/nic drivers/audio 
server/nitpicker app/vbox_pointer server/nit_fb server/report_rom core 
init virtualbox server/part_blk server/rump_fs drivers/ahci 
drivers/framebuffer drivers/timer drivers/input drivers/usb drivers/rtc 
drivers/platform drivers/acpi server/report_rom 
drivers/platform/x86/device_pd
make[1]: Entering directory 
`/home/adrian/test/usb/genode-vbox_usb_run/build/nova_x86_64'
Makefile:115: target `server/report_rom' given more than once in the 
same rule.
checking library dependencies...
Skip target drivers/audio/linux because it requires linux
Skip target drivers/framebuffer/exynos5 because it requires exynos5
Skip target drivers/framebuffer/imx53 because it requires imx53
Skip target drivers/framebuffer/omap4 because it requires omap4
Skip target drivers/framebuffer/pl11x/pbxa9 because it requires pl11x 
platform_pbxa9
Skip target drivers/framebuffer/pl11x/vpb926 because it requires pl11x 
platform_vpb926
Skip target drivers/framebuffer/rpi because it requires platform_rpi
Skip target drivers/framebuffer/sdl because it requires linux sdl
Skip target drivers/input/imx53 because it requires imx53
Skip target drivers/input/ps2/pl050 because it requires pl050
Skip target drivers/nic/lan9118 because it requires lan9118
Skip target drivers/nic/linux because it requires linux
Skip target drivers/platform/arndale because it requires platform_arndale
Skip target drivers/platform/imx53 because it requires imx53
Skip target drivers/platform/odroid_x2 because it requires 
platform_odroid_x2
Skip target drivers/platform/rpi because it requires platform_rpi
   Library platform
   Library cxx
   Library syscall
   Library startup
   Library base-common
   Library core
   Program core/core
 COMPILE  version.o
 LINK core
   Library base
   Program drivers/acpi/x86/acpi_drv
   Library server
   Library config
   Library ahci_platform
   Program drivers/ahci/ahci_drv
   Library blit
   Library x86emu
   Program drivers/framebuffer/vesa/fb_drv
   Program drivers/input/dummy/dummy_input_drv
   Program drivers/input/ps2/x86/ps2_drv
   Program drivers/platform/x86/device_pd/device_pd
   Program drivers/platform/x86/platform_drv
   Program drivers/rtc/x86/rtc_drv
   Library alarm
   Library timer
   Program drivers/timer/timer
   Library libc-setjmp
   Library usb
   Program drivers/usb/usb_drv
   Library init_pd_args
   Program init/init
   Program server/input_merger/input_merger
   Program server/nit_fb/nit_fb
   Program server/nitpicker/nitpicker
   Program server/part_blk/part_blk
   Program server/report_rom/report_rom
   Library ldso-startup
   Library timed_semaphore
   Library ld
CC=/usr/local/genode-gcc/bin/genode-x86-gcc BUILD_CC=cc BUILD_AR=ar 
BUILD_NM=nm BUILD_OBJCOPY=objcopy 
AR=/usr/local/genode-gcc/bin/genode-x86-ar 
NM=/usr/local/genode-gcc/bin/genode-x86-nm 
OBJCOPY=/usr/local/genode-gcc/bin/genode-x86-objcopy 
CC_TARGET=genode-x86-gcc 
/home/adrian/test/usb/genode-vbox_usb_run/contrib/dde_rump-8719ed349bf425eb570d0ee7f16acf980b44adb4/src/lib/dde_rump/buildrump.sh
 
-k -V'MAKEVERBOSE=0' -V'NOGCCERROR=1'  -V'RUMP_LOCKS_UP=yes' -s 
/home/adrian/test/usb/genode-vbox_usb_run/contrib/dde_rump-8719ed349bf425eb570d0ee7f16acf980b44adb4/src/lib/dde_rump/src
 
-T 
/home/adrian/test/usb/genode-vbox_usb_run/build/nova_x86_64/var/libcache/rump/tools
 
-o 
/home/adrian/test/usb/genode-vbox_usb_run/build/nova_x86_64/var/libcache/rump/obj
 
-d 
/home/adrian/test/usb/genode-vbox_usb_run/build/nova_x86_64/var/libcache/rump 
setupdest
 >> buildrump.sh ran successfully
   Library rump
   Library rump_fs
   Program server/rump_fs/rump_fs
   Library libc-string
   Library libc-locale
   Library libc-stdlib
   Library libc-stdio
   Library libc-gen
   Library libc-gdtoa
   Library libc-inet
   Library libc-stdtime
   Library libc-regex
   Library libc-compa