users

users@lists.genode.org

1 participants
2310 discussions

how can I modify the config at runtime?
by keqin 23 May '13

23 May '13

Hi Norman,     When I read the source code in os/src/init/main.cc I noticed that Genode could respond to config changes at runtime. I wonder how I can modify the config at runtime? Are there any interfaces to do that?  Bests, Keqin

2 1

How to use console line on linux? and l4android?
by longjks 22 May '13

22 May '13

hi, How can I want to use console line on serial line. When I debugging, it is not convenient without command line on serial line. thanks -------- Forwarding messages -------- From: longjks <longjks@...176...> Date: 2013-04-17 19:06:21 To: "Genode OS Framework Mailing List" <genode-main(a)lists.sourceforge.net> Subject: How to get l4android log on android_term? hi, last mail, Stefan said >You can get the whole log by removing the log_term, and use core's LOG >service for all children instead. Then all logs will appear on serial >line. We've put the log_term in place in some run-scripts only for >demonstration purposes, when there is no serial line available. For >debugging it's often more convenient to use only the serial line. By removing the log_term in l4android, I can see the log appear on serial line. How can I make the log on android_term appear on serial line? When I debugging, it is not convenient to use android_term. thanks. longjks

2 6

ahci_drv and part_blk on real hard disk
by yuqing wang 21 May '13

21 May '13

Hi i tried ahci_drv.run ,it worked well when i tried to use ahci_drv and part_blk making l4linux access to hard disk, it failed. [init -> l4linux] thread=18000 cpu=1 [init -> l4linux] WARNING: Unknown wrmsr: 0000008b at 6161b1 [init -> part_blk] Partition 1: LBA 2048 (204800 blocks) type: 7 [init -> part_blk] Partition 2: LBA 206848 (209730572 blocks) type: 7 [init -> part_blk] Partition 3: LBA 209938430 (1006979074 blocks) type: f [init -> part_blk] Partition 4: LBA 1934756096 (18764976 blocks) type: 7 my hard disk /dev/sda Disk /dev/sda: 1000.2 GB, 1000204886016 bytes 255 heads, 63 sectors/track, 121601 cylinders, total 1953525168 sectors Units = sectors of 1 * 512 = 512 bytes Sector size (logical/physical): 512 bytes / 512 bytes I/O size (minimum/optimal): 512 bytes / 512 bytes Disk identifier: 0xb673c29c Device Boot Start End Blocks Id System /dev/sda1 * 2048 206847 102400 7 HPFS/NTFS/exFAT /dev/sda2 206848 209937419 104865286 7 HPFS/NTFS/exFAT /dev/sda3 209938430 1216917503 503489537 f W95 Ext'd (LBA) /dev/sda4 1934756096 1953521071 9382488 7 HPFS/NTFS/exFAT /dev/sda5 209938432 517138431 153600000 7 HPFS/NTFS/exFAT /dev/sda6 517140480 824340479 153600000 7 HPFS/NTFS/exFAT /dev/sda7 824342528 1019652095 97654784 83 Linux /dev/sda8 1019654144 1021605887 975872 82 Linux swap / Solaris /dev/sda9 1021607936 1216917503 97654784 83 Linux the part_blk server get the parition of my hard disk (though not all),but the l4liunx can not get the partition table []input:Genode input key as /devices/virtual/input/input0 []input:Genode input mounse as /devices/virtual/input/input1 []sda:unknown partition table []Genode blk-file driver initialized Regards Yuqing Wang

2 3

tow devices share one interrupt
by gaober 21 May '13

21 May '13

hi! i have 5 gpio keys,they are from module GPIO2,and share the same IRQ line MA_IRQ_30.how can i implement the gipo key driver? i use code below to init gpio and irq void _init_gpio(int gpio) { // Configure GPIO _gpio.direction_input(gpio); _gpio.debouncing_time(gpio, 31*100); _gpio.debounce_enable(gpio, 1); _gpio.falling_detect(gpio, 1); _gpio.irq_enable(gpio, 1); } the "int gpio" will be 32,33,36,37,38 when i use _gpio.irq_sigh(_sig_rec.manage(&_sig_ctx), gpio); problem shows:should i use it only once or fifth? if i use it only once,how can i determine which gpio trigger the irq?may be use function _gpio.datain(init gpio) to detect it? another question: my touchsreen and the 5 gpio keys share the same IRQ line MA_IRQ_30.how can deal with the tow kinds of driver? in/os/drivers/input/,make two directoris named ft5406 and gpio_keys?when the irq comes?what will it be?which void handle_event() will execute? thanks very much!

3 6

Issue while running arora
by Raja Sekhar 21 May '13

21 May '13

Hello to all, I'm trying to run arora browser application on linux_x86 platform on qemu emulator but it it not showing browser, and I'm getting console message as.... ############################################################## . . . make[1]: Leaving directory `/home/rajasekhar/Work/genode-13.02/build_linux86' genode build completed spawn ./core int main(): --- create local services --- int main(): --- start init --- int main(): transferred 17592186044415 MB to init int main(): --- init created, waiting for exit condition --- Quota exceeded! amount=4096, size=4096, consumed=4096 [init] upgrading quota donation for SIGNAL session [init -> nic_drv] --- Linux/tap NIC driver started --- [init -> timer] args='label="nitpicker", ram_quota=4096' Quota exceeded! amount=4096, size=4096, consumed=4096 [init -> nitpicker] upgrading quota donation for SIGNAL session [init -> arora] Starting ldso ... [init -> fb_sdl] creating virtual framebuffer for mode 1024x768@...64... [init -> nitpicker] framebuffer is 1024x768@...23... [init -> arora] void init_libc_lock_pipe(): init_libc_lock_pipe() [init -> arora] using the pipe libc plugin [init -> arora] Starting application ... environ: 7fff1dad3168 [init -> arora] void init_nic_dhcp(): init_nic_dhcp() [init -> arora] Could not open file "config" [init -> arora] Could not obtain config file [init -> arora] Using DHCP for interface configuration. [init -> arora] {anonymous}::Plugin::Plugin(): using the lwIP libc plugin Quota exceeded! amount=4096, size=4096, consumed=4096 [init -> nic_drv] upgrading quota donation for SIGNAL session Quota exceeded! amount=8192, size=4096, consumed=8192 [init -> nic_drv] upgrading quota donation for SIGNAL session [init -> nic_drv] could not configure /dev/net/tun: no virtual network emulation terminate called after throwing an instance of 'Genode::Exception ############################################################### Could you please give me a solution.... * Thanks, *Raja Sekhar

2 1

Nic Driver performance
by Alexander Tarasikov 18 May '13

18 May '13

Hi, Genode hackers! I've been debugging the performance of the network under Genode. I am using Genode on X86 with the dde_ipxe nic driver. So far, I have figured out the following: 1. Memcpy and malloc calls in the nic driver take a negligible amount of time. I'm using X86 rdtsc to measure tick count, and memcpy usually amounts to 5-20 ticks 2. Most of time is spent in the rx_handler: the _alloc.submit() call (260 ticks) Inside the submit() routine (in the os/include/nic/component.h), around 80 percent of time is occupied by the "_rx.source()->submit_packet()" call. The submit() routine first checks for acknowledged packets from the client, and then calls the submit_packet() function. The Tx_thread::entry() gets packets from the client, sends it to the nic, and acks. My questions are the following: 1. Which ways to improve nic performance can you suggest? 2. Why does the nic rx ack the packets? since packet order should be handled by TCP, can we split packet acking and submitting the "current" packet into separate threads? 3. What is the suggested "best" way to debug IPC and profile applications? Thank you for your attention. Have fun! -- Regards, Alexander

2 2

failing in getting ipxe souce
by Raja Sekhar 17 May '13

17 May '13

Hi everybody & thanks to all for supporting us, I'm facing one problem while tying `make prepare` in `dde_ipxe` repository, I'm failing to get the code from ipxe.org. what should i do. could u please give me a way.... * Thanks & Regards* Raja Sekhar Reddy. B

3 3

64bit VMM support on Fiasco.OC
by Daniel Waddington 15 May '13

15 May '13

Hi, My current understanding is that L4Linux is x86_32 only. I am wondering what the best route to Linux virtualization on Fiasco.OC x86_64 is. Has anyone looked at porting the Karma VMM to Genode or looking at L4Linux 64bit support. I can't easily move to NOVA. Daniel

5 7

how to create device
by gaober 10 May '13

10 May '13

hi! thanks for stefan,norman and matthias's help. i use pandapoard to run l4android,when i insert usb mouse,it worked. i wonder who creates the device node for the usb mouse,the code in dde-linux or l4android?can you tell me which file does the thing? there is another question,how can i create a device node to communication with Android? thanks!

2 3

how to pass event to l4linux
by gaober 08 May '13

08 May '13

Hi! i implement touch screen driver in os\src\input\ft5406,and can get the coordinate x, y,then i use: _ev_queue.add(Input::Event(Input::Event::MOTION, 0, _abs_x, _abs_y, 0, 0)); _ev_queue.add(Input::Event(Input::Event::PRESS, Input::BTN_TOUCH, _abs_x, _abs_y, 0, 0)); _ev_queue.add(Input::Event(Input::Event::RELEASE, Input::BTN_TOUCH, _abs_x, _abs_y, 0, 0)); to add the event to the event queue. now the question is how can i pass the events to linux. the bot modules are: set boot_modules { core init timer omap4_gpio_drv omap4_i2c_drv omap4_fb_drv input_ft5406_drv sd_card_drv usb_drv nic_bridge nitpicker nit_fb part_blk terminal terminal_log l4android root-ginger.gz } thank you very much!!!

3 2

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users