users May 2013

users@lists.genode.org

16 participants
19 discussions

Using C++11 by default
by Norman Feske 17 Sep '13

17 Sep '13

Hello, I would like to go with the times and switch Genode to use C++11 by default. This will enable us to solve a number of problems in a more elegant way, e.g., by using variadic templates for the RPC framework, we can possibly get rid of the current limit of the number of RPC functions supported by the 'GENODE_RPC_INTEFACE' declarations. Are there any objections from Genode users? For example, is anyone of you still using a custom tool chain that does not support C++11? If no one disagrees, I would go forward and add '-std=gnu++11' as default argument to g++. Regards Norman -- Dr.-Ing. Norman Feske Genode Labs http://www.genode-labs.com · http://genode.org Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

3 5

Announcement: Genode OS Framework version 13.05 released
by Christian Helmuth 30 May '13

30 May '13

We are happy to announce the new release of the Genode OS Framework. The focus of our work in the past three months was on consolidation and optimization of the current feature set and extension of our support for embedded SoCs. The highlights of the fresh release are: - Tooling for automated testing and benchmarking - Enhanced terminal infrastructure - New network performance benchmarks - Platform support - Exynos 5 SoC (USB-3, gigabit networking, eMMC, SATA) - i.MX SoC (GPIO, display, touch screen) - OMAP4 SoC (LCD) - Raspberry Pi - Linux/ARM as new base platform - Device drivers - DDE Linux updated to Linux 3.9 - DDE iPXE update to latest Git version - Services - FS-LOG service - Dynamically reconfigurable virtual framebuffer - 3rd-party libraries - Qt4 version 4.8.4 - libSDL supplemental libraries The whole story is described in the release notes: http://genode.org/documentation/release-notes/13.05 Best regards and enjoy -- 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

1 0

l4android can not run rightly on Pandaboard?
by longjks 30 May '13

30 May '13

hi, I had build an image.elf with the l4android.run in the directory ports-foc/run on genode13.02 . I build with the platform foc_panda. When I run the image.elf on Pandaboard, it goes to some errors. here is the Error log: ////////////////////////////////////////////////////// [init] nitpicker: invalid route to non-existing server "fb-drv" ///////////////////////////////////////// so I added the follow into l4android.run: <start name="fb_drv"> <binary name="omap4_fb_drv"/> <resource name="RAM" quantum="4M"/> <provides><service name="Framebuffer"/></provides> </start> <start name="sd_card_drv"> <resource name="RAM" quantum="4M"/> <provides><service name="Block"/></provides> </start> <start name="usb_drv"> <resource name="RAM" quantum="12M"/> <provides> <service name="Input"/> <service name="Nic"/> </provides> <config> <hid/> <nic mac="2e:60:90:0c:4e:01" /> </config> </start> after that, I can start the l4android on Pandaboard. I can see something on "log_term" part and "terminal_log" part,but there are nothing on "android_term " part, l4android can not work rightly and system-ginger.img can not be started on Pandaboard ? How I can do to fix these problems? 2013-03-25 longjks

2 17

pandaboard audio system
by gaober 27 May '13

27 May '13

hi! i want to implenment the audio system for pandaboard.there are some questions. i find directory /os/src/drivers/audio_out/linux,do i need it? shold i implenment the audio system by using dde method?or should i write audio driver in addition?Maybe the twl6040 driver? do you have some suggestions,please?

2 1

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

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users May 2013