[tz_vmm] Build error (#2)
martin.stein at ...1...
Thu Apr 21 11:10:01 CEST 2016
Am 17.04.2016 um 09:09 schrieb Yevgeny:
> Yes, I've already tried: make run/tz_vmm, however, it doesn't create the
> *uImage* in the *var/run/tz_vmm/* directory.
A run script merely contains the common set-up of a Genode scenario.
Thus, it doesn't create bootloader-specific output like a uImage. For
such customization there is the file <builddir>/etc/build.conf. In your
case you would need to add a line:
RUN_OPT += --include image/uboot
This is also documented in . I think it would be the best if follow
the tutorial in there. It describes the complete process how to create a
bootable SD card with the tz_vmm script.
> I started off with this tutorial:
> https://github.com/inversepath/usbarmory/wiki/Genode-OS and everything
> went fine untill this point: cp var/run/tz_vmm/uImage to SD_CARD. Err:
> no such file or directory"
The Wiki recently was updated as the previous version seemed to cause
misconceptions. Please check out the new version.
> I've taken the following steps provided in the first link of you msg.
> export TARGET_DEV=/dev/sdX
> cd genode-16.02
> ./tool/create_builddir hw_usb_armory
> ./tool/create_uboot hw_usb_armory
> sudo dd if=contrib/uboot/build/hw_usb_armory/mmc_img of=$TARGET_DEV
> bs=1K seek=1 conv=fsync
> cd genode-16.02/build/hw_usb_armory/
> echo "RUN_OPT += --include image/uboot" >> etc/build.conf
> make run/tz_vmm
> and ended up with the following error:
> couldn't execute "mkimage": no such file or directory
I assume thta this is related to the above problems. Could please give
it another try?
> if instead of echo "RUN_OPT += --include image/uboot" >> etc/build.conf
> I change RUN_OPT = --include boot_dir/hw to RUN_OPT = --include
> boot_dir/hw image/uboot the build succeeds but no uImage gets created.
There is missing an --include after boot_dir/hw.
> I'm using clean Ubuntu 15.10 VM, Genode15.05 x86-64 tool chain, and the
> latest version of Genode 16.02
That should be fine. If you try using the wrong tool chain, the build
system should tell you and stop.
Am 08.04.2016 um 11:08 schrieb Martin Stein:
> Hey Yevgeny,
> If you only want to try the default setup, you can simply use the run
> script  by doing 'make run/tz_vmm' in your build directory. The
> script automatically downloads a precompiled Linux image. Have you tried
> If you're really interested in customizing your Normal World Linux,
> there is also a link in the run script to a detailed explanation on how
> to compile the images . I assume that your approach fails because of
> the wrong toolchain. Does the tutorial fix your problem?
>  https://github.com/genodelabs/genode/blob/master/repos/os/run/tz_vmm.run
> Am 05.04.2016 um 21:49 schrieb Yevgeny:
>> I'm trying to compile Genode for usbarmory. After executing this command
>> *make ARCH=arm zImage LOADADDR=0x80008000 modules* from the root dir of
>> the downloaded linux kernel, it gives me the following error.
>> Makefile:664: Cannot use CONFIG_CC_STACKPROTECTOR_STRONG:
>> -fstack-protector-strong not supported by compiler
>> CHK include/config/kernel.release
>> CHK include/generated/uapi/linux/version.h
>> CHK include/generated/utsrelease.h
>> make: 'include/generated/mach-types.h' is up to date.
>> CC kernel/bounds.s
>> gcc: error: unrecognized argument in option ‘-mabi=apcs-gnu’
>> gcc: note: valid arguments to ‘-mabi=’ are: ms sysv
>> gcc: error: unrecognized command line option ‘-mlittle-endian’
>> gcc: error: unrecognized command line option ‘-mapcs’
>> gcc: error: unrecognized command line option ‘-mno-sched-prolog’
>> Kbuild:35: recipe for target 'kernel/bounds.s' failed
>> make: *** [kernel/bounds.s] Error 1
>> Makefile:980: recipe for target 'prepare0' failed
>> make: *** [prepare0] Error 2
>> Please advise
>> You are receiving this because you are subscribed to this thread.
>> Reply to this email directly or view it on GitHub
More information about the users