users

users@lists.genode.org

6 participants
2306 discussions

Unable to boot
by Archie Nidhi 08 Jul '13

08 Jul '13

Hello I have a few questions We have successfully created an uImage by following the steps given in https://github.com/genodelabs/genode/commit/ce58a63fb661df42e6bf283891589b1… We tried to transfer the uImage by tftp and got the following error U-Boot > setenv serverip 10.6.1.123 U-Boot > setenv ipaddr 10.6.1.122 U-Boot > setenv bootfile uImage U-Boot > tftp Using FEC device TFTP from server 10.6.1.123; our IP address is 10.6.1.122 Filename 'uImage'. Load address: 0x10800000 Loading: ################################################################# ################################################################# ################################################################# ################################################################# ################################################################# ################################################################# ################################################################# #### done Bytes transferred = 2346876 (23cf7c hex) U-Boot > bootm ## Booting kernel from Legacy Image at 10800000 ... Image Name: Image Type: ARM Linux Kernel Image (gzip compressed) Data Size: 2346812 Bytes = 2.2 MiB Load Address: 70140000 Entry Point: 7018b33c Verifying Checksum ... OK Uncompressing Kernel Image ... It is stuck over here , let me know whether there is another way to convert uImage to a form from which we can boot from a sdcard. Thanks and Regards Anubhav

3 4

Re: u-boot files - device specific?
by Aditya Kousik 08 Jul '13

08 Jul '13

Hello, I'm trying to run Genode on an i.MX6. And I've tried copying uImage. But that doesn't seem to be enough. I came across this : http://comments.gmane.org/gmane.os.genode.devel/813 Your set of u-boot files, is it pandaboard specific? or can the MLO, u-boot.bin be copied to any device and booted? What's the procedure of booting from using the image.elf? (So far, i ran mkimage and created a uImage file. But that's obviously not enough. What's missing?) Thanks and regards, Aditya

3 5

Booting Genode on i.MX53
by Archie Nidhi 05 Jul '13

05 Jul '13

Hello, 1) Given that Genode has been ported on iMX53 with u-boot, how do I get it running on either qemu or hardware directly? (cross-compiling for arm, configuring u-boot etc.) 2) I tried creating build directories with ./tool/create_builddir hw_imx53 (and foc_imx53) BUILD_DIR=build and running make run/demo. Got the following errors: 1.1 : foc_imx53 ./dump_tcboffsets tcboffset.bin > tcboffset.h.new mv tcboffset.h.new tcboffset.h ... Making ivt.o ... Making tb_entry_output.o /media/work/genode-13.05/base- foc/contrib/kernel/fiasco/src/kern/tb_entry_output.cc:506:31: error: uninitialized const ‘_ipc_fmt’ [-fpermissive] /media/work/genode-13.05/base-foc/contrib/kernel/fiasco/src/kern/tb_entry_output.cc:141:7: note: ‘const class Tb_entry_ipc_fmt’ has no user-provided default constructor /media/work/genode-13.05/base-foc/contrib/kernel/fiasco/src/kern/tb_entry_output.cc:507:35: error: uninitialized const ‘_ipc_res_fmt’ [-fpermissive] /media/work/genode-13.05/base-foc/contrib/kernel/fiasco/src/kern/tb_entry_output.cc:157:7: note: ‘const class Tb_entry_ipc_res_fmt’ has no user-provided default constructor make[5]: *** [tb_entry_output.o] Error 1 make[4]: *** [all] Error 2 make[3]: *** [/media/work/genode-13.05/foc.imx/kernel/fiasco.oc/fiasco] Error 2 make[2]: *** [fiasco.oc.prg] Error 2 make[1]: *** [gen_deps_and_build_targets] Error 2 make[1]: Leaving directory `/media/work/genode-13.05/foc.imx' Error: Genode build failed make: *** [run/demo] Error 252 1.2: hw_imx53 Program core/imx53/core COMPILE _main.o cc1plus: error: unrecognized command line option ‘-std=gnu++11’ make[3]: *** [_main.o] Error 1 make[2]: *** [core.prg] Error 2 make[1]: *** [gen_deps_and_build_targets] Error 2 make[1]: Leaving directory `/media/work/genode-13.05/hw. imx53' Error: Genode build failed make: *** [run/demo] Error 255 Any ideas? Thanks and Regards Anubhav

6 8

RPC threads on specific cores
by Daniel Waddington 03 Jul '13

03 Jul '13

Hi, Is there a way to have RPC server threads launch on specific cores (as opposed to the default of core 0)? Daniel

2 1

Re : Platform-specific files in the Genode system
by Aditya Kousik 03 Jul '13

03 Jul '13

Hello I'm trying to port Genode on to pandaboard on Fiasco.OC. In base-foc/config there a list of platform specific kernel, user (panda.kernel and panda.user) files generated. How are those files generated? Also, in certain folders of os/src/drivers/ and os/include/ have platform specific files coded. How are they related/utilised to/in the build process? Thanks and regards Aditya

2 1

Dataspaces and sub-region mapping
by Daniel Waddington 03 Jul '13

03 Jul '13

Hi, I have a server which own as Ram_dataspace and dishes it out to client's by using sub-rm attachments. If I pass back to the client the Dataspace_capability for the sub-rm, am I correct in saying that the client cannot get to the physical address of the mapped region since this is a Dataspace not a Ram_dataspace? This this case I'd need to pass it back explicitly as an extra param. Also, can you clarify the difference between Dataspace and Ram_dataspace and how you can convert (if at all) between the two? Thanks Daniel

2 3

compiling l4linux for x86_64
by Rudolf Weber 30 Jun '13

30 Jun '13

2 1

DDE on real machines
by Daniel Waddington 27 Jun '13

27 Jun '13

Hi, Can someone check DDE is still working on a real PC target? I am using fiasco.oc and 64bit but I think the problem is across kernels. Basically my issue is that DHCP is not working and it appears that the rx interrupt is not firing (according to foc jdb). I've tried the latest genode with run/lwip. Daniel

2 6

os/src/drivers/framebuffer/vesa is missing in git
by Rudolf Weber 23 Jun '13

23 Jun '13

3 3

L4 bootstrap console output issue
by Daniel Waddington 20 Jun '13

20 Jun '13

Hi, I recently changed to using the Fiasco.OC source from Genode. I have just noticed problems with the bootstrap not outputting to the console on certain machines. The h/w is checked as ok, and if we replace bootstrap with r56 version from TU Dresden then everything is ok. Are there some Genode-specific changes to bootstrap on r46? P.S. I didn't notice the problem until I did a full rebuild so I'm not sure when the issue crept in. Daniel

2 1

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users