users

users@lists.genode.org

2285 discussions

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

regarding hello tutorial
by Amit Choudhari 17 Jun '13

17 Jun '13

if i try to run without timer it works fine but with timer included i get d followin error int main(): --- create local services --- int main(): --- start init --- int main(): transferred 17592186044415 MB to init int main(): --- init created, waiting for exit condition --- [init] Could not open file "ld.lib.so" Quota exceeded! amount=4096, size=4096, consumed=4096 [init] upgrading quota donation for SIGNAL session [init -> hello_server] Hello::Root_component::Root_component(Genode::Rpc_entrypoint*, Genode::Allocator*): Creating root component. [init -> hello_server] virtual Hello::Session_component* Hello::Root_component::_create_session(const char*): creating hello session. [init] hello_client: no route to service "Timer" [init -> hello_client] C++ runtime: Genode::Parent::Service_denied [init -> hello_client] void* abort(): abort called

1 0

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users