users

users@lists.genode.org

2 participants
2336 discussions

l4linux update problem
by li94575 14 Jul '16

14 Jul '16

Hi, all Recently, I was trying to update the l4linux to version 3.10, and the FOC kernel has also been updated to rev58 accordingly. Now, l4linux3.10 can run well if I not set CONFIG_SMP. But I would get a pagefault when enable SMP, and cpu1 failed to come online, part of the log is given below: --------------------------- [ 0.320000] {0} CPU: Testing write buffer coherency: ok [ 0.320000] {0} CPU0: thread -1, cpu 0, socket 0, mpidr 80000000 [ 0.320000] {0} Setting up static identity map for 0x02379fa0 - 0x02379fa0 [init -> l4linux] l4x_virt_to_phys: Could not translate virt. address 2379fa0 [init -> l4linux] l4x_virt_to_phys: Could not translate virt. address 2379fa0 [init -> l4linux] Launching cpu1 on pcpu 1 at 236fc30 [init -> l4linux] l4x_cpu_threads[1] = 84000a00 [init -> l4linux] l4x_virt_to_phys: Could not translate virt. address 254a000 virtual void Genode::Signal_session_component::submit(Genode::Signal_contex_capability, unsigned int): invalid signal-context capability virtual void Genode::Pager_activation_base::entry(): Could not resolve pf=8650ca40 ip=2003a24 [ 2.360000] {0} CPU1: failed to come online [ 2.360000] {0} Brought up 1 CPUs [ 2.360000] {0} SMP: Total of 1 processors activated (3697.04 BogoMIPS). ...... ----------------------------------- Note that the thread context area starts from 0x80000000 (physical mem area is 0x00000000 ~ 0x7fffffff), the pagefault seems not to be caused by thread stack overflow, Increasing stack size of vcpu thread can not help to solve it. Vcpu1 thread have been created successfully, and already entry the entry() function, but __cpu_starter() has not been excuted. Using genode-arm-objdump tool to convert vmlinux: --------------------------------------------------------------------- ....... unsigned long l4x_global_save_flags(void) { 2003a10: e1a0c00d mov ip, sp 2003a14: e92dd800 push {fp, ip, lr, pc} 2003a18: e24cb004 sub fp, ip, #4 2003a1c: e59f300c ldr r3, [pc, #12] ; 2003a30 2003a20: ee1d2f70 mrc 15, 0, r2 ,cr13, cr0, {3} 2003a24: e7923003 ldr r3, [r2, r3] return l4vcpu_state(l4x_vcpu_state_current()); #else return l4_capability_equal(tamed_per_nr(cli_lock, get_tamer_nr(current_thread_info()->cpu)).owner, l4x_cap_current()) ? L4_IRQ_DISABLED : L4_IRQ_ENABLED; #endif } 2003a28: e1d308b8 ldrh r0, [r3, #136] ; 0x88 2003a2c: e89da800 ldm sp, {fp, sp, pc} 2003a30: 0250c040 .word 0x0250c040 02003a34 : } EXPORT_SYMBOL(l4x_global_cli); ...... ---------------------------------------------------------------- Noting: l4linux3.10 uses register TPIDRURO to store percpu offset, not TPIDRURW in l4linux3.9, and a new system call interface of thread object is introduced (seeing arch/l4/include/asm/arch-arm/percpu.h). I tested this in genode1308 and genode1311, the phenomenon seems to be the same. Now, I have no idea to fix this problem, can anybody give some suggestions?

1 0

Light-SPD: A Platform to Prototype Secure Mobile Applications
by Norman Feske 12 Jul '16

12 Jul '16

Hello, apparently just a few days ago, the following work was presented at the Workshop on Privacy-Aware Mobile Computing (PAMCO'16) hosted at MobiHoc 2016 [1]: "Light-SPD: A Platform to Prototype Secure Mobile Applications" by Sileshi Demesie Yalew, Gerald Q. Maguire Jr., Miguel Correia The paper describes a secure mobile payment platform built upon Genode's TrustZone support on the FreeScale i.MX53 SoC. Disclaimer: I was unaware of this work until yesterday and haven't thoroughly studied the paper yet. It is great to see Genode being picked up for projects like this! [1] https://www.sigmobile.org/mobihoc/2016/ [2] http://www.gsd.inesc-id.pt/~mpc/pubs/Light-SPD-paper.pdf 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

1 0

Overview of the Genode community
by Norman Feske 12 Jul '16

12 Jul '16

Hello everyone, during a conversation with Johannes Schlatow a few months ago, he proposed to add an overview of the Genode community at the genode.org website. By providing an overview of active contributors, the various groups and individuals may get a better chance to get acquainted with each other, avoid duplicate efforts, or even team up. By presenting links to projects using Genode, we may make the project more tangible to people who are wondering about the application of Genode in the real world. I have now attempted to create a rough sketch of such an overview as a topic branch at GitHub [1]. I plan to host this overview at the Genode website as a sub section of the "Community" tab. Now, my questions are: 1) Do you find the structure sensible? Or do you have an alternative suggestion to organize this information? 2) What is an appropriate level of detail? I have added a paragraph here and there. Should we give each individual a bit of room to add custom information or is a raw list of links to GitHub accounts, blogs, or project websites sufficient? 3) Most importantly: Do you find you or your project missing? Please let me know and suggest additions! [1] https://github.com/nfeske/genode/commits/participants 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

1 0

Incremental checkpointing of components
by Denis Huber 12 Jul '16

12 Jul '16

Dear Genode-main readers, I am working on my thesis to implement a real-time capable checkpoint/restore mechanism in Genode/L4-Fiasco.OC on the Chair of Operating Systems, TUM Department of Informatics. A checkpoint-component A has to transparently (more or less) store the internal state of another component B and restore it on another machine also running Genode. One aspect of the thesis is to store the (virtual) memory pages of B only if they were changed since the last checkpoint (known as "incremental checkpointing"). This means, I have to mark a page if it was used by a write access and unmark it after the checkpoint. This approach is similar to the dirty-bit mechanism in the MMU. By searching the genode-main mailing list I found an idea for emulating the dirty-bit mechanism. In the message [1], the author suggests the use of managed dataspaces and a custom RAM service. The RAM server detaches a dataspace which a client is using, re-attaches and marks the dataspace when the client wants to read it or write to it. Thus, the server of the RAM service notices whenever a client uses a specific dataspace. [1] https://sourceforge.net/p/genode/mailman/message/34787057/ The problem of this approach is the granularity of the dataspaces. I want to be notified when a virtual memory page is changed and store only this page. But using one RM session per 4 KiB dataspace (typical page size) is not efficient, because an RM session uses 64 KiB for itself. * Do I understand this approach correctly? * Is there another way to be notified when a virtual memory page is accessed? * If not, is it possible to extend the core with this mechanism. If yes, which modules are involved? Kind regards Denis

2 2

A communication framework for distributed access control in microkernel-based systems
by Norman Feske 11 Jul '16

11 Jul '16

Hello, at this year's OSPERT 2016 workshop [1], the following Genode-related work was presented: "A communication framework for distributed access control in microkernel-based systems" by Mohammad Hamad, Johannes Schlatow, Vassilis Prevelakis, Rolf Ernst (TU Braunschweig) It describes a distributed communication system between electronic con- trol units (ECUs) within a vehicle. The paper is available as PDF [2]. Cheers Norman [1] http://www.cs.hs-rm.de/~kaiser/events/ospert16/ [2] http://www.cs.hs-rm.de/~kaiser/events/ospert16/pdf/ospert16-p6.pdf -- 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

Using dataspaces and allocators
by Denis Huber 09 Jul '16

09 Jul '16

Hello Genode-main readers, I am a quite new Genode user and I have a problem of how to use dataspaces. I understand that a dataspace represents a contiguous physical memory space. And that every component can use it, if it has a capability to it (by attaching it to its RM session). But, (1) how is a dataspace typically populated with data and (2) how can a component typically read the data? A further, related question is, (3) what is an allocator, and (4) what is the difference between an allocator and a dataspace? (5) How is an allocator (e.g. in the form of a sliced_heap or heap) typically used in C++? I would be happy about some code snippets or further links, which can answer my questions. I would be satisfied, if someone can answer question (1) and (2) :) Kind regards Denis

2 2

abort called - thread ep
by Duss Pirmin 08 Jul '16

08 Jul '16

Hello all I try to upgrade gtest, that Roman Iten had ported some time ago, to the latest version, as I also need gmock. When I run the gtest run script, I get the following error message: [init -> gtest] [ RUN ] EXPECT_PRED1Test.FunctorOnBuiltInTypeFailure [init -> gtest] Warning: abort called - thread: ep [init] virtual void Genode::Child_policy::exit(int): child "gtest" exited with exit value 1 Is there a way to find out what causes this? Gtest uses a main() function and doesn't use the server library or the component framework. The current development can be found at: https://github.com/trimpim/genode/tree/googletest Best regards Pirmin

2 1

l4android hangs up
by john stokes 08 Jul '16

08 Jul '16

when i am running the l4android for x86 the my log stucks here and a blank qemu screen appears please help me to resolve this. my log is here ============================================ int main(): --- create local services --- int main(): --- start init --- int main(): transferred 458 MB to init int main(): --- init created, waiting for exit condition --- [init] parent provides [init] service "ROM" [init] service "RAM" [init] service "IRQ" [init] service "IO_MEM" [init] service "IO_PORT" [init] service "CAP" [init] service "PD" [init] service "RM" [init] service "CPU" [init] service "LOG" [init] service "SIGNAL" [init] child "timer" [init] RAM quota: 913408 [init] ELF binary: timer [init] priority: 0 [init] provides service Timer [init] Could not open ROM session for module "omap4_fb_drv" [init] Could not open ROM session for module "usb_bkock_drv" [init] Could not open ROM session for module "sd_card_drv" [init] child "part_blk" [init] RAM quota: 1961984 [init] ELF binary: part_blk [init] priority: 0 [init] provides service Block Quota exceeded! amount=65536, size=4096, consumed=65536 [init] child "nic_bridge" [init] RAM quota: 4059136 [init] ELF binary: nic_bridge [init] priority: 0 [init] provides service Nic Quota exceeded! amount=81920, size=4096, consumed=81920 [init] child "nitpicker" [init] RAM quota: 1961984 [init] ELF binary: nitpicker [init] priority: 0 [init] provides service Nitpicker Quota exceeded! amount=98304, size=4096, consumed=98304 [init] child "uart_drv" [init] RAM quota: 913408 [init] ELF binary: kdb_uart_drv [init] priority: 0 [init] provides service Uart [init] provides service Terminal Quota exceeded! amount=114688, size=4096, consumed=114688 [init] child "android_fb" [init] RAM quota: 33419264 [init] ELF binary: nit_fb [init] priority: 0 [init] provides service Framebuffer [init] provides service Input [init] Warning: Specified quota exceeds available quota. [init] Proceeding with a quota of 435384524. Quota exceeded! amount=131072, size=4096, consumed=131072 [init] child "l4android" [init] RAM quota: 435249356 [init] ELF binary: l4android [init] priority: 0 [init -> l4android] Booting L4Linux ... Insufficient quota for transfer: init -> part_blk have 1540096, need 4206592 [init] not enough quota for a donation of 4206592 bytes [init -> uart_drv] --- Fiasco(.OC) KDB UART driver started --- [init] child "timer" announces service "Timer" [init -> part_blk] resource_request: ram_quota=4206592 [init] nitpicker: invalid route to non-existing server "fb_drv" [init -> part_blk] virtual void Genode::Platform_env::release(): used before freeing emergency=417792 [init -> part_blk] virtual void Genode::Platform_env::release(): used after freeing emergency=401408 [init] child "uart_drv" announces service "Uart" [init -> l4android] ======> L4Linux starting... <======== [init] child "uart_drv" announces service "Terminal" [init -> l4android] Linux version 3.5.0-l4-gcea6e7a (rishabh@...431...) (gcc version 4.9.2 (GCC) ) #45 SMP Sat Jul 2 19:16:27 IST 2016 [init] child "part_blk" requests resources: ram_quota=4206592 [init -> l4android] Binary name: vmlinux [init -> nitpicker] Uncaught exception of type 'Genode::Parent::Service_denied' [init] nic_bridge: invalid route to non-existing server "usb_block_drv" [init -> l4android] Linux kernel command line (3 args): mem=768M console=ttyS0 l4x_rd=root-ginger.gz [init -> nitpicker] Warning: abort called - thread: ep [init -> l4android] CPU mapping (l:p)[0]: Image: 00401000 - 00865000 [4496 KiB]. [init] Cannot respond to resource request - out of memory [init -> l4android] Areas: Text: 00401000 - 00795000 [3664kB] (a bit longer) [init -> l4android] Data: 00795000 - 007b8820 [142kB] [init -> l4android] Initdata: 007cc000 - 007f3000 [156kB] [init -> l4android] BSS: 007f4000 - 00855000 [388kB] [init -> l4android] l4util_cpu_capabilities: Not implemented yet! [init -> l4android] gs=43 fs=43 [init -> l4android] l4io_get_root_device: Not implemented yet! [init -> l4android] Device scan: [init -> l4android] l4io_iterate_devices: Not implemented yet! [init -> l4android] Device scan done. [init -> l4android] l4x_fiasco_gdt_entry_offset = 9 [init] virtual void Genode::Child_policy::exit(int): child "nitpicker" exited with exit value 1 [init -> nic_bridge] Uncaught exception of type 'Genode::Parent::Service_denied' [init -> nic_bridge] Warning: abort called - thread: ep [init] virtual void Genode::Child_policy::exit(int): child "nic_bridge" exited with exit value 1 [init -> l4android] main thread will be 12 [init -> l4android] l4x_register_pointer_section: addr = 00400000 size = 4608000 [init -> l4android] section-with-init: virt: 400000 to 864fff [4500 KiB] [init -> l4android] Cannot determine physical address for dataspace Binary! [init -> l4android] error: failed to get physical address for 400000. [init -> l4android] Main thread running, waiting... [init -> l4android] thread=12000 cpu=0 [init -> l4android] WARNING: Unknown wrmsr: 0000008b at 668141 [init -> l4android] l4x_setup_memory: Forcing superpages for main memory [init -> l4android] l4re_global_env: 0 [init -> l4android] Main memory size: 768MB unmapping of managed dataspaces not yet supported [init -> l4android] Main memory: virt: 60000000 to 8fffffff [786432 KiB] [init -> l4android] Main memory: Phys: 0x00000000 to 0x30000000, Size: 805306368 [init -> l4android] Filling lower ptabs... [init -> l4android] Done (0 entries). [init -> l4android] l4x_register_pointer_section: addr = 00400000 size = 4608000 [init -> l4android] text: virt: 400000 to 864fff [4500 KiB] [init -> l4android] Cannot determine physical address for dataspace Binary! [init -> l4android] error: failed to get physical address for 400000. [init -> l4android] l4x_rd_path: root-ginger.gz [init -> l4android] Loading: root-ginger.gz [init -> l4android] INITRD: Size of RAMdisk is 596KiB [init -> l4android] RAMdisk from 000a3000 to 00138000 [596KiB] --------------------------------------------------------------------- CPU 0 [f0039463]: SERIAL_ESC uart_ep] jdb: ========================================================== the l4android is attached with the message

3 6

Child component creation
by Denis Huber 06 Jul '16

06 Jul '16

Hello, I am looking for information on how to develop a parent component which creates new children (just the basics). I read the first 3 chapters of the Genode book which gave me the theoretical information, but I could not find the practical information/tutorials on how to create a child component. Is there a good example in the source code of genode? Best regards Denis

3 2

Heeselicht scenarion, cannot launch linux vm
by Parfait Tokponnon 06 Jul '16

06 Jul '16

Hello Genode world, I'm having this issue when trying to launch linux virtual machine in the Heeselicht scenario. My machine is a Lenovo X230. unresolvable exception 3, pd 'init -> cli_monitor -> linux -> vbox', thread 'EMT-1', cpu 0, ip=0x1103ca5, no signal handler unresolvable exception 3, pd 'init -> cli_munresolvable exceptiononitor -> linux -> vbox', thread 'EMT-2', cpu 0, ip=0x1103ca5, no signal handler unresolvable exception 3, pd 'init -> cli_monitor -> linux -> vbox', thread 'EMT-3', cpu 0, ip=0x1103ca5, no signal handler unresolvable exception 3, pd 'init -> cli_monitor -> linux -> vbox', thread 'VMPwrUp', cpu 0, ip=0x1103cdd, no signal handler unresolvable exception 3, pd 'init -> cli_monitor -> linux -> vbox', thread 'EMT-0', cpu 0, ip=0x1103cdd, no signal handler The complete output is attached hereby. Can someone help me figure out what is going on? -- Parfait T.

2 2

Jump to page:

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users