users

users@lists.genode.org

2325 discussions

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

Genode/Linux USB Application
by Daniel Krefft 06 Jul '16

06 Jul '16

Hi, I wrote an Genode application for the Pololu Maestro Mini Servo Controller in Genode (https://github.com/702nados/genode-pololuServoController). I'm using the usb_drv (dde_linux) and the usb_terminal (pl2303) for read and write commands. It runs flawlessly on PandaBoard (foc_panda). Next, I want to use it with Linux as kernel (linux_x86). If I try to run the resulting application, the usb_drv component throws the following error: > no route to service "Platform" So, is it possible to compile and run the intended application without modifications? If I want to use the linux devices (e.g. usb), who can I achieve this in code? In general, the following shows the intended architecture: --------------------- ServoController | --------------------- Genode | --------------------- Linux | --------------------- Hardware | --------------------- Best regards Daniel

3 2

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users