users

users@lists.genode.org

1 participants
2310 discussions

genode-i.mx6
by Mahe Mohan 12 Jun '14

12 Jun '14

Hello , Thanks for your help . I did the steps given in the wiki. We cloned the repos then created the build directory and We compiled using RUN_OPT="--target uboot" make run/demo Then we copied the image from the build/var/run/demo/uImage into the SD card. After that we connected the board and worked on the following commands. u-boot> mmc dev 1u-boot> fatload mmc 1:1 0x10800000 uImageu-boot> bootm 10800000 We are getting the following message. MX6Q SABRELITE U-Boot > bootm 10800000 ## Booting kernel from Legacy Image at 10800000 ... Image Name: Image Type: ARM Linux Kernel Image (gzip compressed) Data Size: 1977409 Bytes = 1.9 MB Load Address: 10001000 Entry Point: 10001e ... OK Starting kernel ... int main(): --- create local services --- int main(): --- start init --- int main(): transferred 1019int main(): --- init created, waiting for exit condition --- [init] Could not open file "ld.lib.so" [init] nitpicker: no route to service "Framebuffer" [init -> nitpicker] C++ runtime: Genode::Parent::Service_denied [init -> nitpicker] void* abort(): abort called [init -> launchpad] Could not open file "ld.lib.so" wheather is the expected output? Thanks

5 5

genode-i.xm6
by Mahe Mohan 12 Jun '14

12 Jun '14

Hello All, Thanks for the ideas. Will work it out and let you know the status. Thanks, Mahe

1 0

genode-i.mx6
by Mahe Mohan 11 Jun '14

11 Jun '14

Hello, We have connected i.mx6 quad board to our pc and trying to build genode on it but it shows the following message. Can you help me out on how to generate qemu. We created the build directory using the same ./tool.create_builddir hw_imx6 BUILDDIR=build.imx. When we tried to compile the build directory by using make run/demo it shows the following message make[1]: Leaving directory `/home/user100/Downloads/casl- secureos-def5067bb56c/imx6.hw' spawn qemu-system-arm -m 256 -serial mon:stdio -kernel var/run/demo/image.elf No machine specified, and there is no default. Use -machine help to list supported machines! : spawn id exp6 not open while executing "expect { -i $running_spawn_id -re $wait_for_re { } eof { puts stderr "Error: Spawned process died unexpectedly"; exit -3 } timeout { puts ..." (procedure "wait_for_output" line 17) invoked from within "wait_for_output $wait_for_re $timeout_value $qemu_spawn_id" (procedure "spawn_qemu" line 60) invoked from within "spawn_qemu $wait_for_re $timeout_value" (procedure "run_genode_until" line 14) invoked from within "run_genode_until forever" (file "/home/user100/Downloads/casl-secureos-def5067bb56c/os/run/demo.run" line 185) 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/user100/Downloads/casl-secureos-def5067bb56c/tool/run" line 812) make: *** [run/demo] Error 1 We are currently using genode-14.05. Thank you

3 4

Dresden Microkernel Hackers Meet-up
by Julian Stecklina 08 Jun '14

08 Jun '14

Hey fellow microkernel hackers, a lot of us are still in Dresden, but are now scattered across several work places. Let's meet up and have some beer next week. Please vote for when[1] and where[2] until Sunday 18:00 CEST. I'll send one additional mail on Sunday evening to announce the results. Forward this mail as you like. The more the merrier. For all of you too far away: My apologies for the off-topic mail. Julian [1] https://dudle.inf.tu-dresden.de/ukernelbeerwhen/ [2] https://dudle.inf.tu-dresden.de/ukernelbeerwhat/

1 1

genode-pbxa9
by Mahe Mohan 05 Jun '14

05 Jun '14

hello, I tried for pbxa9, the same thing happens qemu is not generated. I have one doubt when i try to install qemu-kvm-extras which was the second step in building the genodein bare hardware , its not getting downloaded , wheather it may be the problem. When i make the pbxa9 it showed the follwing messages . I'm using the Genode-14.05 version . I follwed the steps present in the doc . As I'm very new to genode I couldn't get it properly. [init] Could not open file "ld.lib.so" [init] parent provides [init] service "ROM" [init] service "RAM" [init] service "CAP" [init] service "PD" [init] service "RM" [init] service "CPU" [init] service "LOG" [init] service "SIGNAL" [init] child "init" [init] RAM quota: 10223616 [init] ELF binary: init [init] priority: 0 [init -> init] Could not open file "ld.lib.so" [init -> init] parent provides [init -> init] service "ROM" [init -> init] service "RAM" [init -> init] service "CAP" [init -> init] service "PD" [init -> init] service "RM" [init -> init] service "CPU" [init -> init] service "LOG" [init -> init] service "SIGNAL" [init -> init] child "init" [init -> init] RAM quota: 4980736 [init -> init] ELF binary: init [init -> init] priority: 0 [init -> init -> init] Could not open file "ld.lib.so" [init -> init -> init] parent provides [init -> init -> init] service "ROM" [init -> init -> init] service "RAM" [init -> init -> init] service "CAP" [init -> init -> init] service "PD" [init -> init -> init] service "RM" [init -> init -> init] service "CPU" [init -> init -> init] service "LOG" [init -> init -> init] service "SIGNAL" [init -> init -> init] No children to start I'm getting totally struck with this step. Thank you

2 5

genode
by Mahe Mohan 04 Jun '14

04 Jun '14

hello all, We tried to build genode on base hardware with target as imx31. First we created a build directory using ./tool/create_builddir hw_imx31 BUILD_DIR=build.imx. Then we tested the directory using the make run/nested_init .It was compiled and successfully built but qemu emulator was not generated. Can anyone helpout this and say the proper steps to open with qemu. Thank You

2 1

PingPong Example for the LWIP
by Mhamad Hmad 03 Jun '14

03 Jun '14

Hello, i am still new to the Genode so maybe you will find that my question is silly but i tried to run the PingPong example but i failed i build the Genode for base_linux i enabled the libport repository fron the build.conf then i prepare for the PKG=Lwip from the build directory i tried to run the server as next make run/test-ping_server and it is run successfully. when i try to do that for the client i could not success i hope some one can help .. i am sure i need to change in some values but actually i couldn't know where . -- *Mohammad*

4 4

14.05, dde_linux patch issue?
by Bob Stewart 02 Jun '14

02 Jun '14

Sorry to be a pest, but I came across the the following issue when trying to port dde_linux in the new 14.05 release: */Work/Genode/genode-14.05/tool/ports$ ./prepare_port dde_linux** **dde_linux download https://github.com/nfeske/dwc_otg.git** **Cloning into 'src/lib/dde_linux/drivers/usb/host/dwc_otg'...** **remote: Counting objects: 233, done.** **remote: Compressing objects: 100% (93/93), done.** **remote: Total 233 (delta 138), reused 233 (delta 138)** **Receiving objects: 100% (233/233), 420.95 KiB, done.** **Resolving deltas: 100% (138/138), done.** **dde_linux update src/lib/dde_linux/drivers/usb/host/dwc_otg** **dde_linux download http://www.kernel.org/pub/linux/kernel/v3.x/linux-3.9.tar.gz** **dde_linux extract linux-3.9.tar.gz** **dde_linux extract linux-3.9.tar.gz** **dde_linux apply patches/*.patch** **The text leading up to this was:** **--------------------------** **|diff -r a103aef8f269 drivers/usb/host/.xhci-pci.c.swp** **|Binary file drivers/usb/host/.xhci-pci.c.swp has changed** **|diff -r a103aef8f269 drivers/usb/host/xhci-pci.c** **|--- a/drivers/usb/host/xhci-pci.c Wed Mar 05 13:54:43 2014 +0100** **|+++ b/drivers/usb/host/xhci-pci.c Wed Mar 05 13:58:50 2014 +0100** **--------------------------** **File to patch: * Any help would be appreciated. Bob

4 11

make run/printf in the 14.05 version
by Bob Stewart 31 May '14

31 May '14

I just cloned the 14.05 version and did a create_builddir. From the created build directory I did a basic "make run/printf". That immediately gave me the following error: *using run script --include** **couldn't read file "--include": no such file or directory** ** while executing** **"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 "/Work/Genode/genode-14.05/tool/run" line 850)** **make: *** [run/printf] Error 1* I had no command line parameters other than the make run... What have I missed? Thanks, Bob.

3 7

Announcement: Genode OS Framework version 14.05 released
by Christian Helmuth 30 May '14

30 May '14

Genode 14.05 comes with a strong focus on framework scalability. We extend our C runtime with per-process virtual file system support. Now, programs seamlessly integrate with separate file-system services to distinct concerns like web-server configuration and data. Also, we introduce a new concept for integrating third-party software in form of one unified port tool. The highlights of the fresh release are - New tools for managing ported 3rd-party source code - New block-level encryption using CDG - New process-local virtual file systems - NOVA microhypervisor - VirtualBox with guest additions - Support for static priorities - Execution on bare hardware (base-hw) - Multi-processor support - Sparsely populated core address space - USB 3.0 on x86-based platforms More detailed information can be found in the release documentation http://genode.org/documentation/release-notes/14.05 Happy hacking with Genode -- 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

2 2

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users