users

users@lists.genode.org

2 participants
2342 discussions

issue while running l4linux on fiasco_x86_32
by Raja Sekhar 27 May '13

27 May '13

Hello to all, I'm trying to run l4linux on fiasco_x86_32 on QEMU. But i'm not getting anything on QEMU except 2 penguins... and i'm getting a console messages as...... ######################################################################################################################################################## spawn qemu-system-i386 -no-kvm-irqchip -no-kvm -m 128 -serial file:kdb.log -serial mon:stdio -smp 2,cores=2 -net nic,model=e1000 -net user -cdrom var/run/l4linux.iso [ 0.000000] Linux version 3.5.0-l4+ (rajasekhar@...193...) (gcc version 4.7.2 (GCC) ) #15 SMP Fri May 24 10:47:26 IST 2013 [ 0.000000] e820: BIOS-provided physical RAM map: [ 0.000000] L4Lx-Memory: [mem 0x0000000000000000-0x0000000000400fff] reserved [ 0.000000] L4Lx-Memory: [mem 0x0000000000401000-0x0000000000838fff] usable [ 0.000000] L4Lx-Memory: [mem 0x0000000000839000-0x000000004fffffff] unusable [ 0.000000] L4Lx-Memory: [mem 0x0000000050000000-0x0000000053ffffff] usable [ 0.000000] Notice: NX (Execute Disable) protection missing in CPU! [ 0.000000] e820: last_pfn = 0x54000 max_arch_pfn = 0x100000 [ 0.000000] init_memory_mapping: [mem 0x00000000-0x53ffffff] [ 0.000000] INITRD: 00a00000 - 00d86000 [ 0.000000] 1344MB LOWMEM available. [ 0.000000] mapped low ram: 0 - 54000000 [ 0.000000] low ram: 0 - 54000000 [ 0.000000] Zone ranges: [ 0.000000] DMA [mem 0x00401000-0xffffffff] [ 0.000000] Normal [mem 0x00000000-0x53ffffff] [ 0.000000] Movable zone start for each node [ 0.000000] Early memory node ranges [ 0.000000] node 0: [mem 0x00401000-0x00838fff] [ 0.000000] node 0: [mem 0x50000000-0x53ffffff] [ 0.000000] Using APIC driver default [ 0.000000] Intel MultiProcessor Specification v1.0 [ 0.000000] Virtual Wire compatibility mode. [ 0.000000] Processors: 2 [ 0.000000] SMP: Allowing 2 CPUs, 0 hotplug CPUs [ 0.000000] e820: [mem 0x54000000-0xffffffff] available for PCI devices [ 0.000000] setup_percpu: NR_CPUS:8 nr_cpumask_bits:8 nr_cpu_ids:2 nr_node_ids:1 [ 0.000000] PERCPU: Embedded 11 pages/cpu @53565000 s23296 r0 d21760 u45056 [ 0.000000] Built 1 zonelists in Zone order, mobility grouping on. Total pages: 14784 [ 0.000000] Kernel command line: mem=64M console=ttyS0 l4x_rd=initrd.gz l4x_cpus=2 l4x_cpus_map=0,1 [ 0.000000] PID hash table entries: 256 (order: -2, 1024 bytes) [ 0.000000] Dentry cache hash table entries: 8192 (order: 3, 32768 bytes) [ 0.000000] Inode-cache hash table entries: 4096 (order: 2, 16384 bytes) [ 0.000000] __ex_table already sorted, skipping sort [ 0.000000] Initializing CPU#0 [ 0.000000] Memory: 54700k/1376256k available (2428k kernel code, 10900k reserved, 1047k data, 156k init, 0k highmem) [ 0.000000] virtual kernel memory layout: [ 0.000000] fixmap : 0x5c101000 - 0x5c1e8000 ( 924 kB) [ 0.000000] vmalloc : 0x54000000 - 0x5c000000 ( 128 MB) [ 0.000000] lowmem : 0x00000000 - 0x54000000 (1344 MB) [ 0.000000] .init : 0x0077b000 - 0x007a2000 ( 156 kB) [ 0.000000] .data : 0x0065f1ac - 0x00764ea4 (1047 kB) [ 0.000000] .text : 0x00400000 - 0x0065f1ac (2428 kB) [ 0.000000] Hierarchical RCU implementation. [ 0.000000] NR_IRQS:2304 nr_irqs:2304 192 [ 0.000000] Console: colour dummy device 80x25 [ 0.000000] console [ttyS0] enabled [ 0.000000] l4timer: Using IRQ65 [ 0.000000] Detected 3191.899 MHz processor. [ 0.010436] Calibrating delay loop (skipped), value calculated using timer frequency.. 6383.79 BogoMIPS (lpj=31918990) [ 0.024002] pid_max: default: 32768 minimum: 301 [ 0.041305] Mount-cache hash table entries: 512 [ 0.056070] CPU: Physical Processor ID: 0 [ 0.060068] CPU: Processor Core ID: 0 [ 0.070000] CPU0: Intel QEMU Virtual CPU version 1.0 stepping 03 [ 0.085843] Performance Events: Broken PMU hardware detected, using software events only. [ 0.122737] Booting Node 0, Processors [ 0.020000] Initializing CPU#1 #1 Ok. [ 0.020000] calibrate_delay_direct() failed to get a good estimate for loops_per_jiffy. [ 0.020000] Probably due to long platform interrupts. Consider using "lpj=" boot option. [ 0.973056] Brought up 2 CPUs [ 1.000112] Total of 2 processors activated (64712.47 BogoMIPS). [ 1.034688] devtmpfs: initialized [ 1.055412] NET: Registered protocol family 16 [ 1.087708] bio: create slab <bio-0> at 0 [ 1.094463] SCSI subsystem initialized [ 1.105275] Switching to clocksource l4kipclk [ 1.149530] NET: Registered protocol family 2 [ 1.152000] IP route cache hash table entries: 1024 (order: 0, 4096 bytes) [ 1.171833] TCP established hash table entries: 2048 (order: 2, 16384 bytes) [ 1.182288] TCP bind hash table entries: 2048 (order: 2, 16384 bytes) [ 1.190346] TCP: Hash tables configured (established 2048 bind 2048) [ 1.198648] TCP: reno registered [ 1.200000] UDP hash table entries: 256 (order: 1, 8192 bytes) [ 1.200000] UDP-Lite hash table entries: 256 (order: 1, 8192 bytes) [ 1.221067] NET: Registered protocol family 1 [ 1.229921] Unpacking initramfs... [ 1.303639] INITRD: Freeing memory. [ 1.402667] l4x: Checks passed. [ 1.407667] platform rtc_cmos: registered platform RTC device (no PNP device found) [ 1.427418] msgmni has been set to 106 [ 1.440066] Block layer SCSI generic (bsg) driver version 0.4 loaded (major 253) [ 1.450216] io scheduler noop registered [ 1.456057] io scheduler deadline registered [ 1.462793] io scheduler cfq registered (default) [ 1.474577] mousedev: PS/2 mouse device common for all mice [ 1.483294] ttyS0 at MMIO 0x1 (irq = 64) is a L4 [ 1.493200] rtc-genode rtc-genode.0: rtc core: registered rtc-genode as rtc0 [ 2.404473] Switching to clocksource tsc [ 7.977091] genode_fb:framebuffer at 0x00c00000, size 4096k [ 8.010534] genode_fb: mode is 1024x768x16 [ 8.098633] Console: switching to colour frame buffer device 128x48 [ 8.223119] input: Genode input key as /devices/virtual/input/input0 [ 8.255879] input: Genode input mouse as /devices/virtual/input/input1 [ 8.295787] Genode blk-file driver initialized ######################################################################################################################################################## can u please give me the solution........ *Thanks,* Raja Sekhar

4 4

[PATCH] tool-chain build: Signature verification
by Stephan Mueller 24 May '13

24 May '13

Hi, please find attached a patch against tool-chain and a supporting shell script to perform signature verification of the downloaded bits for building the tool chain. Signed-off-by: Stephan Mueller <smueller@...194...>

1 0

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

Jump to page:

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users