users January 2015

users@lists.genode.org

31 participants
47 discussions

netperf
by Анна Будкина 07 Jun '16

07 Jun '16

Hello! I'm running netperf TCP_STREAM and TCP_MAERTS tests for lxip stack and i obtained extremely low result - 5x10^6 bits/s while the maximum throughput is 1000 mbit/s . I wonder what could be the reason for that. Anna

6 16

i.mx53qsb and ARM Trustzone Techology
by Joseph Lee 10 Dec '15

10 Dec '15

Hi >From the article in this link http://genode.org/documentation/articles/trustzone , I understood that the DDR RAM in i.mx53 QSB is partitioned off between normal world and secure world. I just want to read a file in the normal world from application running in the secure side. Is there any possibility to get access to any file in normal world from the secure world? thanks for your help in advance. Regards, Joseph

3 7

Adding a Kernel Module in base-hw
by Franc sylvester 21 Apr '15

21 Apr '15

Hello everyone, I am stuck at one point because of lack of understanding in Genode, Actually I want to execute some assembly instruction in privileged mode in base-hw kernel from a user script. So I need to know, How will I add a kernel module which will execute assembly instruction and how can I call this module from the user space. And if there is already any such modules exist in Genode that will really help me to understand the flow mechanism, Let me know. Cheers Franc

4 11

Re: Genode Hack'n Hike 2013
by Norman Feske 23 Mar '15

23 Mar '15

Hello everyone, the date for this year's Genode Hack'n Hike held during 11-16 of September is approaching. Genode's developers will spend those days in the beautiful scenery of the Bohemian Switzerland, relaxing, hiking, and hacking on fun side projects. The Hack'n Hike will be the perfect setting for getting involved with the community, catching up, or just hanging out with the Genode crowd. There is still room for more participants. Genode Labs sponsors the event. So your participation/accommodation is free. If you like to join in, please get in touch by writing to hacknhike@...1... or commenting on https://github.com/genodelabs/genode/issues/793. Cheers Norman On 07/25/2013 02:38 PM, Norman Feske wrote: > Hello, > > let me get back to this year's Genode Hack'n Hike planned for the 11th > to 16th of September. Since I posted the initial announcement (below), > we settled for a beautiful location in the Bohemian Switzerland in Czech > Republic. Check out the following links for wetting your appetite: > > http://goo.gl/maps/TAZc1 > http://www.kristinhradek.cz/en > > The location lends itself to a multitude of leisure activities. For > planning those activities and to discuss topics around the Hack'n Hike > event, there is a dedicated issue in the Genode issue tracker: > > https://github.com/genodelabs/genode/issues/793 > > Please feel welcome to join in, whether to stay the whole time or just > for a short visit. Genode Labs will sponsor the accommodation, but the > available space is limited. If you consider to join this year's Hack'n > Hike, please send a short notice to the following email address to > register your participation: > > hacknhike@...1... > > Cheers > Norman > > On 06/05/2013 12:42 PM, Norman Feske wrote: >> Hello, >> >> I'd like to share the following excerpt of the latest Genode-Labs >> newsletter with you: >> >> >> Join us at Genode's Hack'n Hike event >> ------------------------------------- >> >> In spring of 2012, we held the first instance of the Genode Hack'n >> Hike, which were wonderful days full of hacking, relaxing, brain- >> storming, and enjoying the magnificent nature of the Saxon Switzerland >> together. From the feedback we got from the attendees, it goes >> without saying that this should not stay a singular event, but >> rather be the prelude of a tradition. Hence, we have fixed the date >> for this year's Hack'n Hike: >> >> Begin: Wednesday, September 11 >> End: Monday, September 16 >> >> We extended the duration of the event over that of last year's. >> Whether you'd like to drop by for just a few hours, or you'd like to >> stay for the whole time, you are welcome to join in. Genode Labs >> will sponsor the accommodation. So don't worry too much about the >> costs. >> >> As of now, we haven't finalized the decision about the venue, but >> you can be sure that it will be a beautiful and romantic place, >> presumably in Saxony/Germany or Bohemian Switzerland in Czech >> Republic. If you have particular preferences regarding the >> accommodation or leisure-time activities, then the best time to get >> in touch with us is now. Also, if you plan attending, we'd greatly >> appreciate a short notice, which will help us with planning ahead. >> Please write to: >> >> hacknhike@...1... >> >> We at Genode Labs are looking forward to the gathering of the Genode >> community in autumn and would love to welcome you! >> >> ------ >> >> For the full newsletter, please refer to >> >> http://genode-labs.com/news/newsletter/newsletter-2013-05 >> >> Cheers >> 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 ------------------------------------------------------------------------------ Introducing Performance Central, a new site from SourceForge and AppDynamics. Performance Central is your source for news, insights, analysis and resources for efficient Application Performance Management. Visit us today! http://pubads.g.doubleclick.net/gampad/clk?id=48897511&iu=/4140/ostg.clktrk _______________________________________________ Genode-announce mailing list Genode-announce(a)lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-announce

2 1

Progress of bringing Genode to seL4
by Norman Feske 12 Mar '15

12 Mar '15

Hello, I have written up the first of a series of articles about using seL4 as base platform for the Genode OS framework: http://genode.org/documentation/articles/sel4_part_1 I hope that it contains useful bits of information for novices of seL4 and Genode alike. Even though the article outlines a few hurdles, the overall experience of using the kernel had been overly positive so far. For those of you interested in tracking the progress of the ongoing work, here is the corresponding topic branch: https://github.com/nfeske/genode/commits/sel4 Cheers 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 3

Running Linux 3.14 as a Genode VM
by Nico Weichbrodt 06 Feb '15

06 Feb '15

Hi, I'm a student at TU Braunschweig and I inherited a Genode project from another student. He used Genode on an i.MX53 Quick Start Board to boot a Linux 2.6.35 kernel (this one: https://github.com/skalk/linux) as a VM with TrustZone support. This works fine. For my task I need a newer kernel, so I'm currently trying to upgrade to kernel 3.14. Since this kernel requires dtbs I modified Genode to load the dtb instead of ATAGs. I had to modify my dtb so the memory layout matches and to set the bootargs. My kernel now boots but hangs very soon at this point: Uncompressing Linux... done, booting the kernel. [ 0.000000] Booting Linux on physical CPU 0x0 [ 0.000000] Initializing cgroup subsys cpu [ 0.000000] Initializing cgroup subsys cpuacct [ 0.000000] Linux version 3.14.15-00329-gaed2dee-dirty (envy@...289.....) (gcc version 4.5.2 (Sourcery G++ Lite 2011.03-41) ) #40 Wed Jan 14 16:06:19 CET 2015 [ 0.000000] CPU: ARMv7 Processor [412fc085] revision 5 (ARMv7), cr=10c5387d [ 0.000000] CPU: PIPT / VIPT nonaliasing data cache, VIPT aliasing instruction cache [ 0.000000] Machine model: Freescale i.MX53 Quick Start-R Board [ 0.000000] bootconsole [earlycon0] enabled [ 0.000000] Memory policy: Data cache writeback [ 0.000000] On node 0 totalpages: 131072 [ 0.000000] free_area_init_node: node 0, pgdat c05b36e8, node_mem_map dfbf9000 [ 0.000000] Normal zone: 1024 pages used for memmap [ 0.000000] Normal zone: 0 pages reserved [ 0.000000] Normal zone: 131072 pages, LIFO batch:31 [ 0.000000] CPU: All CPU(s) started in SVC mode. [ 0.000000] pcpu-alloc: s0 r0 d32768 u32768 alloc=1*32768 [ 0.000000] pcpu-alloc: [0] 0 [ 0.000000] Built 1 zonelists in Zone order, mobility grouping on. Total pages: 130048 [ 0.000000] Kernel command line: console=ttymxc0,115200 earlyprintk loglevel=10 [ 0.000000] PID hash table entries: 2048 (order: 1, 8192 bytes) [ 0.000000] Dentry cache hash table entries: 65536 (order: 6, 262144 bytes) [ 0.000000] Inode-cache hash table entries: 32768 (order: 5, 131072 bytes) [ 0.000000] Memory: 513696K/524288K available (4039K kernel code, 219K rwdata, 1384K rodata, 198K init, 123K bss, 10592K reserved, 0K highmem) [ 0.000000] Virtual kernel memory layout: [ 0.000000] vector : 0xffff0000 - 0xffff1000 ( 4 kB) [ 0.000000] fixmap : 0xfff00000 - 0xfffe0000 ( 896 kB) [ 0.000000] vmalloc : 0xe0800000 - 0xff000000 ( 488 MB) [ 0.000000] lowmem : 0xc0000000 - 0xe0000000 ( 512 MB) [ 0.000000] pkmap : 0xbfe00000 - 0xc0000000 ( 2 MB) [ 0.000000] modules : 0xbf000000 - 0xbfe00000 ( 14 MB) [ 0.000000] .text : 0xc0008000 - 0xc0553f8c (5424 kB) [ 0.000000] .init : 0xc0554000 - 0xc0585bbc ( 199 kB) [ 0.000000] .data : 0xc0586000 - 0xc05bcda0 ( 220 kB) [ 0.000000] .bss : 0xc05bcda0 - 0xc05dba2c ( 124 kB) [ 0.000000] SLUB: HWalign=64, Order=0-3, MinObjects=0, CPUs=1, Nodes=1 [ 0.000000] NR_IRQS:16 nr_irqs:16 16 [ 0.000000] TrustZone Interrupt Controller (TZIC) initialized [ 0.000000] CPU identified as i.MX53, silicon rev 2.1 [ 0.000000] Switching to timer-based delay loop [ 0.000009] sched_clock: 32 bits at 33MHz, resolution 29ns, wraps every 128849015778ns [ 0.008364] Console: colour dummy device 80x30 [ 0.012925] Calibrating delay loop (skipped), value calculated using timer frequency.. If I add some debug statements to linux/init/calibrate.c before the pr_info("Calibrating delay loop (skipped) ..."); then those get printed as well, but the "Calibrating..." text is not. I also added a loop at the top of the calibrate_delay() function which just prints an incrementing counter but this loop only prints once and then hangs. Now I have two assumptions: Either the serial driver is hanging or it has something to do with the clocks/timer because the highest time passed number I got was 0.016800-ish. I have not yet replayed the TrustZone commits from Stefan Kalkowski for Linux 2.6.35 but because I set all devices as unsecure inside Genode (genode/repos/base-hw/src/core/include/spec/imx53/trustzone/csu.h) this should not be necessary, right? If you have any pointers/ideas/suggestions for me, this would be very helpful. Cheers, Nico Weichbrodt

3 14

sync() not implemented by rumpfs
by a3an 05 Feb '15

05 Feb '15

Hello, while experimenting with rumpfs I noticed that sync() is not supported by rumpfs. I added a sync() call in ../test/libc_ffat/main.cc and executed make run/rump_ext2. I got the following message: [init -> test-libc_vfs] DUMMY sync(): sync called, not implemented I guess, a filesystem not supporting sync() is of greatly reduced value. Has this call been blocked on purpose ? Regards, Adrian Schuur

3 7

Error for l4android with Genode 14.11
by li94575 03 Feb '15

03 Feb '15

Hi all, When I run l4android (3.5) with the latest Genode, I got an error, the args for l4android in run script is "mem=512M console=ttys0 l4x_rd=root-lc.gz". Part of log is as follows: [init -> l4android] Main thread running, waiting... [init -> l4android] l4re_global_env:0 [init -> l4android] Main memory size: 512MB unmapping of managed dataspaces not yet supported [init -> l4android] Main memory: virt:20000000 to 3fffffff [524288 KiB] [init -> l4android] Main memory: phys:0x00000000 to 0x20000000, size: 536870912 [init -> l4android] Filling lower ptabs... [init -> l4android] Done (0 entries). [init -> l4android] l4x_register_pointer_section: addr = 01000000 size = 5242880 [init -> l4android] text: virt: 1000000 to 14fffff [5120 KiB] [init -> l4android] Cannot determine physical address for dataspace Binary! [init -> l4android] error: failed to get physical address for 1000000. virtual void Genode::Signal_session_component::submit(Genode::signal_context_capability, unsigned int): invalid signal-contex capability virtual void Genode::Pager_activation_base::entry(): Could not resolve pf=3fffff000 ip=1000e88 It seems that the virtual address(0x20000000 ~ 0x3fffffff) has not been mapped to actual physical address. So I compared the L4Linux support library with previous versions, I found the funtion "l4re_ma_alloc" (in ports-foc/src/lib/l4lx/l4_re_c_mem_alloc.cc) has changed, and l4android will use the function for memory allocation. Can somebody tells me why make that adjustment? Is it the reason why l4android produces that error?

3 4

Help compiling Genode with other version of Fiasco.OC
by Reinier Millo Sánchez 02 Feb '15

02 Feb '15

Hi I'm trying to compile Genode using another Fiasco.OC version. I'm using Fiasco.OC from snapshot(2014022815). I have added the etc/foc.conf file with L4_BUILD_DIR = /home/millo/l4re-snapshot-2014022815/src/l4/build KERNEL = /home/millo/l4re-snapshot-2014022815/src/kernel/fiasco/build/fiasco I have compiled the Fiaco.OC export PATH=$PATH:/usr/local/genode-gcc/bin/ export SYSTEM_TARGET=genode-x86- On Fiasco.OC source folder: make BUILDDIR=build cd build make menuconfig make -j8 On L4Re source folder: make B=build make O=build SYSTEM_TARGET=genode-x86- menuconfig make O=build SYSTEM_TARGET=genode-x86- -j8 On L4Re building process get the error: ==> Linking dde26_test ... undefined reference to `__emutls_v.__libc_errno' Trying to build Genode for foc_x86 ignoring the L4Re error y got another error, and it seems that Genode is not using the new Fiasco.OC version make cleanall make run/printf make[1]: Leaving directory `/home/millo/GenodeOS/build/foc_x86_32' genode build completed using fiasco kernel /home/millo/GenodeOS/build/foc_x86_32/kernel/fiasco.oc/fiasco using sigma0/bootstrap at /home/millo/GenodeOS/build/foc_x86_32/l4 cp: cannot stat `/home/millo/GenodeOS/build/foc_x86_32/l4/bin/x86_586/l4f/sigma0': No such file or directory Somebody have tested Genode with another version of Fiasco.OC? I'm doing anything wrong? Best regards -- Lic. Reinier Millo SÃ¡nchez Centro de Estudios de InformÃ¡tica Universidad Central "Marta Abreu" de Las Villas "antes de discutir ... respira; antes de hablar ... escucha; antes de escribir ... piensa; antes de herir ... siente; antes de rendirte ... intenta; antes de morir ... vive"

2 1

Part_blk/USB issue
by Nobody III 30 Jan '15

30 Jan '15

I have been experimenting with things related to my issue when using part_blk with ahci, and I have found that it works fine in both QEMU and Virtualbox. However, when I combine part_blk with usb_drv, I encounter what appears to be the exact same problem, but it only occurs on some of the kernels. The scenario works bug-free on okl4 and fiasco, but freezes on foc and nova. Note that other servers such as rump_fs work just fine with the usb driver, so the problem isn't a simple driver failure. I've attached the run script for the usb and part_blk scenario. I hope this helps fix my AHCI issue (which only occurs on real hardware) as well.

4 14

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users January 2015