users

users@lists.genode.org

3 participants
2323 discussions

Question about the flow control in genode
by li94575 16 Jun '14

16 Jun '14

Hello, Recently, I was learning genode about the RPC process, and found that genode provides flow control policy between partitions by routing communication mechanism. I was wondering if I can achieve such a flow control policy in a partition (or process), which uses threads as the subject? If this is possible, how should I do?

2 1

AW: Block Cache
by Wolfgang Schmidt 15 Jun '14

15 Jun '14

Hi Stefan, Can You give a gibt for compatible x86 hw? I tried The democd on an FSC Athlon64 which did mit start at all. Does for example a comp list for nova exist? What so You mean with: it serves only one client- one client application? Best regards Wolfgang ----- Ursprüngliche Nachricht ----- Von: "Stefan Kalkowski" <stefan.kalkowski@...1...> Gesendet: ‎28.‎04.‎2014 21:13 An: "genode-main(a)lists.sourceforge.net" <genode-main(a)lists.sourceforge.net> Betreff: Re: Block Cache Hi Wolfgang, On 04/28/2014 08:27 PM, w_schmidt@...181... wrote: > Hello, > > I have a few question regarding genodes block cache in 14.02. > > If understand it correctly on x86-based computers genode starts on top of > linux. well, that's not true. Yes, Genode is able to run on top of Linux, mostly for development purposes. But Genode runs also directly on x86 hardware using the NOVA kernel, or Fiasco.OC kernel, or the OKL4 kernel, or Pistachio kernel. > Therefore multiple caches will be used before something goes to genode > a) the cache on a hdd > b) cache on a drive controller > c) the linux block cache If running on Linux yes, but normally it wouldn't make much sense to use an additional block cache here. > d) qemu As already said: you don't need to use Qemu. Most run scripts are starting Qemu by default, for convenience reasons only. > > The first one is about the scenario in which the block cache is used. > Is the block cache only thought for embedded devices where genode runs > nativly? Are all embeded devices usable with the cache? The block cache uses the block session of Genode. It uses exactly one block device, and serves exectly one client. As all block device drivers of Genode are implementing the block session interface, the block cache can be used on top of all block drivers, whether its a x86 AHCI driver, or MMC card driver of an ARM SoC, or whatever. > > Is there a way to mount a partition in genode with qemu without using caches > from c) and d) ? > Or is there a x86 hardware where genode can directly operate on? Qemu allows to define the caching policy of a hard drive (cache=none). I don't know whether it's possible to circumvent Linux block cache. I assume that's hard. But as mentioned above, you can use conventional x86 PC hardware. Regards Stefan > > As far as I have seen so far the disc cache of Linux does not seem to be > disablable. I have only foudn ways to flush linux cache (like sync && echo 3 > > /proc/sys/vm/drop_caches). > > Best regards, > Wolfgang > > > ------------------------------------------------------------------------------ > "Accelerate Dev Cycles with Automated Cross-Browser Testing - For FREE > Instantly run your Selenium tests across 300+ browser/OS combos. Get > unparalleled scalability from the best Selenium testing platform available. > Simple to use. Nothing to install. Get started now for free." > http://p.sf.net/sfu/SauceLabs > _______________________________________________ > Genode-main mailing list > Genode-main(a)lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/genode-main > -- Stefan Kalkowski Genode Labs http://www.genode-labs.com/ · http://genode.org/ ------------------------------------------------------------------------------ "Accelerate Dev Cycles with Automated Cross-Browser Testing - For FREE Instantly run your Selenium tests across 300+ browser/OS combos. Get unparalleled scalability from the best Selenium testing platform available. Simple to use. Nothing to install. Get started now for free." http://p.sf.net/sfu/SauceLabs _______________________________________________ Genode-main mailing list Genode-main(a)lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main

4 6

VMM Demo on i.MX53 QSB
by David Goltzsche 14 Jun '14

14 Jun '14

Hi everyone, in preparation for my master thesis, i need to deploy the vmm demo on the i.MX53 quick start board. I followed Stefans instructions in this thread: http://sourceforge.net/p/genode/mailman/genode-main/thread/9167aa55bacd5e3f… , so i did the following: I am using the master branch of this repo: git@...116...:skalk/genode.git tool/create_builddir hw_imx53 BUILD_DIR=hw_imx53 cd hw_imx53 echo "SPECS += trustzone" >> etc/specs.conf echo "RUN_OPT = --target uboot" >> etc/build.conf make run/tz_vmm It starts compiling, after some time i get the following output: Program core/imx53/trustzone/core ASSEMBLE boot_modules.o LINK core make[1]: Leaving directory '/tmp/genode/hw_imx53' Error: Can't execute automatically on target 'uboot' Makefile:237: recipe for target 'run/tz_vmm' failed make: *** [run/tz_vmm] Error 255 What am I missing? Any help appreciated! kind regards David

2 3

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

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users