users June 2015

users@lists.genode.org

24 participants
20 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

TrustZone: forcing instant switch from secure to normal world?
by David Goltzsche 04 Aug '15

04 Aug '15

Hi Genode team & list, in my master's thesis I built a framework, which enables cross-world-communication between the normal and secure world. This was based on your tz_vmm demo. If this sounds familiar: I already posted a few questions on this list related to my thesis ;) My framework relied on periodic world switches triggered by Genode's scheduler (The normal world is running within a Genode thread, so the scheduler prevents both worlds from starving). Of course, simply waiting for world switches leads to high latencies and a low throughput. To speed things up, we already improved the communication from normal to secure world: The normal world instantly hands over control to the secure world utilizing the smc instruction, when a message is available. We extended the hypercall handler in the Vmm class to notify the receiver via a semaphore. Unfortunately, forcing a world switch from secure to normal world does not seem to be that easy: Genode's monitor mode implementation cannot handle entries from the secure world. Hence, usage of the smc instruction is not possible. So, my approach would be using software interrupts which sould be routed to the normal world. I played around with the svc (supervisor call) instruction, but I don't know how to route this to the secure world. Any hints? Thanks in advance David -- M.Sc. David Goltzsche Institute of Operating Systems and Computer Networks Distributed Systems Group TU Braunschweig www: https://www.ibr.cs.tu-bs.de/users/goltzsch mail: goltzsche@...290...

3 7

Inquiry about The ethernet stack in Genode
by Ssekyanzi Badru 01 Jul '15

01 Jul '15

Hello Am new to using Genode. As part of my project work i would like to better understand the working of the Ethernet stack in Genode. Your help will be highly appreciated. Mit freundlichen Grüßen *Sekyanzi Badru* Technische Universitaet Muenchen Fakultaet fuer Electronik und Informatik

2 1

Driver SD Card for Raspberry Pi
by Waldo Paz Rodriguez 30 Jun '15

30 Jun '15

Hello genode comunity, I have been testing the sdcard driver for Raspberry Pi, I compile it fine, but when I test on RPi I get this result: \0x1b[32mGenode 15.05-18-gd94a1ad <local changes>\0x1b[0m int main(): \0x1b[33m--- create local services ---\0x1b[0m int main(): \0x1b[33m--- start init ---\0x1b[0m int main(): \0x1b[33mtransferred 253 MB to init\0x1b[0m int main(): \0x1b[33m--- init created, waiting for exit condition ---\0x1b[0m [init] \0x1b[31mCould not open ROM session for module "ld.lib.so"\0x1b[0m [init -> platform_drv] \0x1b[32m--- Raspberry Pi platform driver --- [init -> sd_card_drv] --- SD card driver --- [init -> sd_card_drv] \0x1b[33mCID: 0x001b534d 0x30303030 0x3010b1fb 0xc7bd008a\0x1b[0m [init -> sd_card_drv] \0x1b[33mRCA: 0x0002\0x1b[0m [init -> sd_card_drv] \0x1b[33mSD card detected\0x1b[0m [init -> sd_card_drv] \0x1b[33mcapacity: 1107296256 MiB\0x1b[0m [init -> test-blk-cli] \0x1b[31mCould not open ROM session for module "config"\0x1b[0m [init -> test-blk-cli] \0x1b[31mCould not obtain config file\0x1b[0m [init -> test-blk-cli] \0x1b[32mPaso el segundo bloque\0x1b[0m [init -> test-blk-cli] \0x1b[32mblock device with block size 512 sector count 0 (testing 0 sectors)\0x1b[0m [init -> sd_card_drv] \0x1b[33mCID: 0x001b534d 0x30303030 0x3010b1fb 0xc7bd008a\0x1b[0m [init -> sd_card_drv] \0x1b[33mRCA: 0x0002\0x1b[0m \0x1b[32mpor aqui\0x1b[0m \0x1b[31munavailable interrupt requested\0x1b[0m [init -> sd_card_drv] void* abort(): \0x1b[33mabort called\0x1b[0m I'm using a SD Card of 1GB of capacity and Genode 15.05. Someone can help me please. Best regards, waldo

2 7

Porting base-hw to ARM Juno with TrustZone
by Matthias Lorenz 25 Jun '15

25 Jun '15

Hello, I'm interested in porting genode base-hw to ARM Juno (Vexpress64) (http://www.arm.com/products/tools/development-boards/versatile-express/juno…). Can somebody estimate how much time and work this would take? Are there any good starting points to start my work/research? Are there certain things I should be aware of? Any help would be much appreciated. I have already modified the ARM Trusted Firmware (https://github.com/ARM-software/arm-trusted-firmware) and U-Boot running in EL3. The main goal is to run genode in EL3. Best regards Matthias

3 2

hw_rpi acccess to MMIO
by Duss Pirmin 23 Jun '15

23 Jun '15

Hello I'm trying to implement a iomux for the hw_rpi platform. Looking at the iomux.h file in the imx53 platform I created the following class for the RPI class Iomux : public Genode::Attached_io_mem_dataspace, Genode::Mmio { public: Iomux() : Genode::Attached_io_mem_dataspace(Genode::Board_base::IOMUXC_BASE, Genode::Board_base::IOMUXC_SIZE), Genode::Mmio((Genode::addr_t)local_addr<void>()) { } } }; /* I/O mux registers */ IOMUXC_BASE = 0x7e200000, IOMUXC_SIZE = 0x00610000, when I start the new image I get the following output on the serial console of the kernel: kernel initialized Genode 15.05-14-gf182c88 <local changes> int main(): --- create local services --- int main(): --- start init --- int main(): transferred 247 MB to init int main(): --- init created, waiting for exit condition --- [init] Could not open ROM session for module "ld.lib.so" Quota exceeded! amount=12288, size=12288, consumed=12288 [init -> fb_drv] --- fb_drv started --- [init -> platform_drv] --- Raspberry Pi platform driver --- I/O memory [7e200000,7e810000) not available Local MMIO mapping failed! [init -> platform_drv] void* abort(): abort called ... Do I need to set a policy to access the MMIO range? The code can be found here: https://github.com/trimpim/genode/tree/issue1549 Best regards Pirmin

3 4

Error about nova-x86-64 on genode1505
by 刘海剑 18 Jun '15

18 Jun '15

When I run hello-tutorial on nova-x86-64, the output message is as follows: NOVA Microhypervisor v7-9916e62 (x86_64): Jun 15 2015 18:38:12 [gcc 4.9.2] [ 0] CORE:0:0:0 6:f:b:0 [0] Intel(R) Core(TM)2 Duo CPU T7700 @ 2.40GHz Hypervisor does not feature VMX Hypervisor does not feature SVM Hypervisor reports 1x1 CPU - boot CPU is 0 Hypervisor info page contains 13 memory descriptors: detected physical memory: 0x0000000000000000 - size: 0x9fc00 use physical memory: 0x0000000000000000 - size: 0x9f000 detected physical memory: 0x0000000000100000 - size: 0x7efe000 use physical memory: 0x0000000000100000 - size: 0x7efe000 map multi-boot module: physical 0x07de3000 -> [0x001c2000-0x00284be8) - core map multi-boot module: physical 0x07ea6000 -> [0x00002000-0x00002235) - config map multi-boot module: physical 0x07ea7000 -> [0x00006000-0x00063720) - init map multi-boot module: physical 0x07f05000 -> [0x00067000-0x000b4090) - hello_client map multi-boot module: physical 0x07f53000 -> [0xb0000000-0xb00518d8) - hello_server map multi-boot module: physical 0x07fa5000 -> [0x00288000-0x002e0978) - timer :virt_alloc: Allocator 17ce90 dump: Block: [00002000,00004000) size=00002000 avail=00000000 max_avail=00000000 Block: [00004000,00005000) size=00001000 avail=00000000 max_avail=00000000 Block: [00005000,00006000) size=00001000 avail=00000000 max_avail=00000000 Block: [00006000,00065000) size=0005f000 avail=00000000 max_avail=00000000 Block: [00065000,00066000) size=00001000 avail=00000000 max_avail=00000000 Block: [00066000,00067000) size=00001000 avail=00000000 max_avail=00000000 Block: [00067000,000b6000) size=0004f000 avail=00000000 max_avail=00000000 Block: [000b6000,000b7000) size=00001000 avail=00000000 max_avail=00000000 Block: [000b7000,000b8000) size=00001000 avail=00000000 max_avail=7fff400f8000 Block: [000b8000,000b9000) size=00001000 avail=00000000 max_avail=00000000 Block: [000b9000,000ba000) size=00001000 avail=00000000 max_avail=00000000 Block: [000ba000,000bb000) size=00001000 avail=00000000 max_avail=00043000 Block: [000bb000,000bc000) size=00001000 avail=00000000 max_avail=00000000 Block: [000bc000,000bd000) size=00001000 avail=00000000 max_avail=00000000 Block: [000bd000,00100000) size=00043000 avail=00043000 max_avail=00043000 Block: [001c2000,00286000) size=000c4000 avail=00000000 max_avail=00000000 Block: [00286000,00287000) size=00001000 avail=00000000 max_avail=7fff400f8000 Block: [00287000,00288000) size=00001000 avail=00000000 max_avail=00000000 Block: [00288000,002e2000) size=0005a000 avail=00000000 max_avail=9fd1e000 Block: [002e2000,a0000000) size=9fd1e000 avail=9fd1e000 max_avail=9fd1e000 Block: [b0000000,b0053000) size=00053000 avail=00000000 max_avail=7fff400f8000 Block: [b0053000,bfeff000) size=0feac000 avail=0feac000 max_avail=7fff400f8000 Block: [bff04000,7fffffffc000) size=7fff400f8000 avail=7fff400f8000 max_avail=7fff400f8000 => mem_size=140737219080192 (134217471 MB) / mem_avail=140737216794624 (134217469 MB) :phys_alloc: Allocator 17bde0 dump: Block: [00001000,00002000) size=00001000 avail=00000000 max_avail=00000000 Block: [00002000,00003000) size=00001000 avail=00000000 max_avail=00000000 Block: [00003000,00004000) size=00001000 avail=00000000 max_avail=00000000 Block: [00004000,00005000) size=00001000 avail=00000000 max_avail=00000000 Block: [00005000,00006000) size=00001000 avail=00000000 max_avail=00000000 Block: [00006000,00007000) size=00001000 avail=00000000 max_avail=055e3000 Block: [00007000,00008000) size=00001000 avail=00000000 max_avail=00000000 Block: [00008000,00009000) size=00001000 avail=00000000 max_avail=00000000 Block: [00009000,0000a000) size=00001000 avail=00000000 max_avail=00000000 Block: [0000a000,0000b000) size=00001000 avail=00000000 max_avail=00093000 Block: [0000b000,0000c000) size=00001000 avail=00000000 max_avail=00000000 Block: [0000c000,0009f000) size=00093000 avail=00093000 max_avail=00093000 Block: [00100000,00101000) size=00001000 avail=00000000 max_avail=055e3000 Block: [00101000,00102000) size=00001000 avail=00000000 max_avail=00000000 Block: [00102000,00400000) size=002fe000 avail=002fe000 max_avail=055e3000 Block: [02800000,07de3000) size=055e3000 avail=055e3000 max_avail=055e3000 => mem_size=93851648 (89 MB) / mem_avail=93798400 (89 MB) :io_mem_alloc: Allocator 17df58 dump: Block: [00000000,00001000) size=00001000 avail=00001000 max_avail=00001000 Block: [0009f000,00100000) size=00061000 avail=00061000 max_avail=fffffffff8001000 Block: [07ffe000,fffffffffffff000) size=fffffffff8001000 avail=fffffffff8001000 max_avail=fffffffff8001000 => mem_size=18446744073575739392 (17592186044288 MB) / mem_avail=18446744073575739392 (17592186044288 MB) Genode 15.05 int main(): --- create local services --- int main(): --- start init --- int main(): transferred 88 MB to init [init] Could not open ROM session for module "ld.lib.so" [init -> hello_client] int main(): enter main() in client...1 [init -> hello_server] int main(): Enter main() in Server... [init -> hello_server] Hello::Root_component::Root_component(Genode::Rpc_entrypoint*, Genode::Allocator*): Creating root component. [init] timer: no route to service "ROM" [init -> hello_server] virtual Hello::Session_component* Hello::Root_component::_create_session(const char*): creating hello session. [init -> hello_client] int main(): enter main() in client...2 [init -> timer] Could not open ROM session for module "hypervisor_info_page" [init -> timer] void* abort(): abort called int main(): --- init created, waiting for exit condition --- What's the matter? Thanks!

3 2

Is X11 forwarding still implemented?
by Jookia 18 Jun '15

18 Jun '15

Hello, I looked at an old Genode demo from 2006 or so a while ago and found it had secure X11 forwarding. I'm very interested in this feature with virtual machines to get a nice environment for something like Turmvilla, though last time I checked the code it seemed this feature disappeared. Cheers, Jookia.

3 8

Re: Port Genode to Exynos4412
by Reinier Millo Sánchez 17 Jun '15

17 Jun '15

Hi Oliver What version of Fiasco.OC (r67) you are using, the versiÃ³n SVN Repository or Stefan Kalkowsky GIT version? It seems to compiled fine, but it fails trying to start the application. When we have ported Fiasco.OC+Genode to the Odroid-X2, we never got that error. Can you share your diff patch applied and the configuration used to compile Fiasco.OC and L4re? Best regards On 06/15/2015 03:16 AM, Oliver wrote: > Hi, > We want to run gendoe(15.05) with fiasco.oc(R67) on the Exynos4412. I > patch the modification that you tell sunyu, but there are some errors. > Do I need to modify other configuration, or do you have any idea about > the error? > > This is the log on odroid-q2: > > Hello from Startup::stage2 > Per_cpu_data_alloc: (orig: 0xf0068a90-0xf0069510) > Number of IRQs available at this GIC: 160 > FPU0: Arch: VFPv3(3), Part: VFPv3(30), r: 4, v: 9, i: 41, t: hard, p: > dbl/sngl > L2: ID=4100c4c8 Type=1a340340 Aux=7e470001 WMask=ffff S=0 > L2: Type L2C-310 Size = 1024kB Ways=16 Waysize=64 > Watchdog initialized > SERIAL ESC: allocated IRQ 85 for serial uart > Not using serial hack in slow timer handler. > Welcome to Fiasco.OC (arm)! > L4/Fiasco.OC arm microkernel (C) 1998-2013 TU Dresden > Rev: 87c0950-dirty compiled with gcc 4.9.2 for Samsung Exynos [] > Build: #1 Tue Jun 9 17:14:44 CST 2015 > > Per_cpu_data_alloc: (orig: 0xf0068a90-0xf0069510) > Allocate 2688 bytes (3KB) for CPU[4] local storage (offset=1181570, > 0xf11ea000-0xf11eaa80) > Timer for CPU0 is at IRQ 28 > Number of CPUs: 4 > Calibrating timer loop... Per_cpu_data_alloc: (orig: > 0xf0068a90-0xf0069510) > done. > Allocate 2688 bytes (3KB) for CPU[1] local storage (offset=1183570, > 0xf11ec000-0xf11eca80) > MDB: use page size: 20 > FPU1: Arch: VFPv3(3), Part: VFPv3(30), r: 4, v: 9, i: 41, t: hard, p: > dbl/sngl > MDB: use page size: 12 > Timer for CPU1 is at IRQ 28 > Per_cpu_data_alloc: (orig: 0xf0068a90-0xf0069510) > SCache config: ON > IID_PFR[01]: 00001231 00000011G ID_[DA]FR0: 00010444 00000000 > MID_MMFR[04]: 00100103 20000000 01230000 00102111 > ACPU[1]: goes to idle loop > Allocate 2688 bytes (3KB) for CPU[2] local storage (offset=1162570, > 0xf11cb000-0xf11cba80) > 0FPU2: Arch: VFPv3(3), Part: VFPv3(30), r: 4, v: 9, i: 41, t: hard, p: > dbl/sngl > :Timer for CPU2 is at IRQ 28 > Cache config: ON > HID_PFR[01]: 00001231 00000011e ID_[DA]FR0: 00010444 00000000 > lID_MMFR[04]: 00100103 20000000 01230000 00102111 > lCPU[2]: goes to idle loop > Per_cpu_data_alloc: (orig: 0xf0068a90-0xf0069510) > oAllocate 2688 bytes (3KB) for CPU[3] local storage (offset=1165570, > 0xf11ce000-0xf11cea80) > !FPU3: Arch: VFPv3(3), Part: VFPv3(30), r: 4, v: 9, i: 41, t: hard, p: > dbl/sngl > > Timer for CPU3 is at IRQ 28 > Cache config: ON > ID_PFR[01]: 00001231 00000011K ID_[DA]FR0: 00010444 00000000 > IID_MMFR[04]: 00100103 20000000 01230000 00102111 > PCPU[3]: goes to idle loop > @ 40002000 > allocated 4KB for maintenance structures > SIGMA0: Dump of all resource maps > RAM:------------------------ > [4:40000000;40000fff] > [0:4007b000;4008ffff] > [0:40097000;4009ffff] > [0:400a7000;410fffff] > [4:41100000;4118efff] > [0:4118f000;800fffff] > [4:80100000;80245fff] > [0:80246000;bbffffff] > IOMEM:---------------------- > [0:0;3fffffff] > [0:bd000000;ffffffff] > > KIP @ 40002000 > magic: 4be6344c > version: 87024444 > sigma0 esp: 00000000 eip: 40090100 > sigma1 esp: 00000000 eip: 00000000 > root esp: 00000000 eip: 80100000 > MBI @ 40000000 > mod[3] [41100000,41100110) config > mod[4] [41101000,41151c34) init > mod[5] [41152000,4118e518) test-printf > :ram_alloc: Allocator 80235ee8 dump: > Block: [4007b000,40090000) size=00015000 avail=00015000 > max_avail=00015000 > Block: [40097000,4009701c) size=0000001c avail=00000000 > max_avail=00015000 > Block: [4009701c,40097038) size=0000001c avail=00000000 > max_avail=00000000 > Block: [40097038,400a0000) size=00008fc8 avail=00008fc8 > max_avail=00008fc8 > Block: [400a7000,400a701c) size=0000001c avail=00000000 > max_avail=3ef71000 > Block: [400a701c,400a7038) size=0000001c avail=00000000 > max_avail=00000000 > Block: [400a7038,41100000) size=01058fc8 avail=01058fc8 > max_avail=01058fc8 > Block: [4118f000,80100000) size=3ef71000 avail=3ef71000 > max_avail=3ef71000 > Block: [80246000,bc000000) size=3bdba000 avail=3bdba000 > max_avail=3bdba000 > => mem_size=2077892608 (1981 MB) / mem_avail=2077892496 (1981 MB) > :region_alloc: Allocator 80237058 dump: > Block: [00001000,20000000) size=1ffff000 avail=1ffff000 > max_avail=1ffff000 > Block: [30000000,40000000) size=10000000 avail=10000000 > max_avail=1ffff000 > Block: [40001000,40002000) size=00001000 avail=00001000 > max_avail=1ffff000 > Block: [40003000,4007b000) size=00078000 avail=00078000 > max_avail=00078000 > Block: [40090000,40097000) size=00007000 avail=00007000 > max_avail=1ffff000 > Block: [400a0000,400a7000) size=00007000 avail=00007000 > max_avail=03ff0000 > Block: [bc000000,bfff0000) size=03ff0000 avail=03ff0000 > max_avail=03ff0000 > => mem_size=872898560 (832 MB) / mem_avail=872898560 (832 MB) > :io_mem: Allocator 80236344 dump: > Block: [00000000,40000000) size=40000000 avail=40000000 > max_avail=40000000 > Block: [40001000,40002000) size=00001000 avail=00001000 > max_avail=40000000 > Block: [40003000,4007b000) size=00078000 avail=00078000 > max_avail=00078000 > Block: [40090000,40097000) size=00007000 avail=00007000 > max_avail=00078000 > Block: [400a0000,400a7000) size=00007000 avail=00007000 > max_avail=43ffffff > Block: [bc000000,ffffffff) size=43ffffff avail=43ffffff > max_avail=43ffffff > => mem_size=2215145471 (2112 MB) / mem_avail=2215145471 (2112 MB) > :io_port: Allocator 802367a0 dump: > :irq: Allocator 80236bfc dump: > Block: [00000000,00000260) size=00000260 avail=00000260 > max_avail=00000260 > => mem_size=608 (0 MB) / mem_avail=608 (0 MB) > :rom_fs: Rom_fs 8023790c dump: > Rom: [41101000,41151c34) init > Rom: [41100000,41100110) config > Rom: [40002000,40003000) l4v2_kip > Rom: [40002000,40003000) kip > Rom: [41152000,4118e518) test-printf > :core ranges: Allocator 8023988c dump: > Block: [4007b000,40090000) size=00015000 avail=00015000 > max_avail=00015000 > Block: [40097000,400a0000) size=00009000 avail=00009000 > max_avail=7bf59000 > Block: [400a7000,bc000000) size=7bf59000 avail=7bf59000 > max_avail=7bf59000 > => mem_size=2079813632 (1983 MB) / mem_avail=2079813632 (1983 MB) > Genode 15.05 > int main(): --- create local services --- > int main(): --- start init --- > Set ref account, init, targeted session not found > Transfer CPU quota, core -> init, no reference relation > int main(): transferred 1981 MB to init > Could not assign parent interface to new PD > unknown exception? > int main(): --- init created, waiting for exit condition --- > > > Best regards > Oliver > -- Lic. Reinier Millo SÃ¡nchez Centro de Estudios de InformÃ¡tica Universidad Central "Marta Abreu" de Las Villas Carretera a CamajuanÃ Km 5 1/2 Santa Clara, Villa Clara, Cuba CP 54830 "antes de discutir ... respira; antes de hablar ... escucha; antes de escribir ... piensa; antes de herir ... siente; antes de rendirte ... intenta; antes de morir ... vive"

3 10

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users June 2015