users September 2016

users@lists.genode.org

24 participants
24 discussions

Reading thread registers
by Denis Huber 07 Mar '17

07 Mar '17

Hello Genode community, in my checkpoint component I intercepted the Cpu session of a child, through which I get all Thread_capabilities created for and by the child. To store the state of a component I need to store the registers of the threads used by the child. I tried reading the registers through the "Thread_state Cpu_thread::state()" method, but it did not contain any information about (just zeros). I'm using Genode 16.05, kernel Fiasco.OC (pbax9 build). By inspecting the kernel API of foc, I found out that the function l4_thread_ex_regs_ret can read the sp and ip register. By changing the state method in platform_thread.cc (in base-foc) I could get the registers: Thread_state Platform_thread::state() { Thread_state s; if (_pager_obj) s = _pager_obj->state; _pager_obj->state.ip = ~0UL; _pager_obj->state.sp = ~0UL; l4_umword_t flags = 0; l4_thread_ex_regs_ret(_thread.local.dst(), &_pager_obj->state.ip, &_pager_obj->state.sp, &flags); s.sp = _pager_obj->state.sp; s.ip = _pager_obj->state.ip; s.kcap = _gate.remote; s.id = _gate.local.local_name(); s.utcb = _utcb; return s; } But other registers like r0 - r12 are missing. Is there a simple way in Genode to get them? Can I utilize the utcb memory location to find the missing registers? Kind regards Denis

2 6

Assembly at 33C3?
by Johannes Schlatow 25 Nov '16

25 Nov '16

Hi Genode hackers, recently, the call for participation for the 33th Chaos Communication Congress [1] has been released, an amazing event I very much enjoy attending for quite a few years now. This year, I'm thinking about organising an assembly at which I can focus on some side projects of mine that are partly Genode related. For those of you who are not familiar with the concept: An assembly is a self-organised get-together and typically targeted at a certain topic. I.e. it can be a place for exchanging ideas, lively discussion and even collaborative hacking, and all of this for the entire congress. ;-) As the Genode community seems to be growing, I'd like to ask whether someone here is 1) considering attending the 33C3 and 2) interested in an assembly about Genode-related projects? @GenodeLabs: I reckon that the date of the congress might not be very convenient for some of you. Nevertheless, I think it'd be great having one or more Genode experts at the congress to represent the project properly. I also see the opportunity for you to do some tutorials, e.g. for the Turmvilla/Heeselicht scenario. [1] https://events.ccc.de/2016/09/01/call-for-participation-33rd-chaos-communic…

4 6

[tz_vmm demo]- execution time
by John David 03 Nov '16

03 Nov '16

Hello, I want to measure execution time of a function in the secure world of tz_vmm demo. I was wondering if I could use elapsed_ms( ) method in timer_session to measure t1 and t2 so that I can take the difference (t2 -t1). Is there any other way? Best regards, John

2 5

Checkpoint/restore of capabilities
by Denis Huber 24 Oct '16

24 Oct '16

Dear Genode community, as some of you already know, I want to create a checkpoint/restore mechanism for components on Genode 16.05 and Fiasco.OC. I want to create a component which monitors the PD and CPU sessions of its children (= targets for checkpoint/restore) to have access to their memory and thread states. For a complete checkpoint and restore of a child I also need to store the capabilities used by a child. How can I acquire and also restore all these capabilities? After a restore of a component the capability space shall be the "same" as before the checkpoint: 1) The capabilities after the restore shall point to corresponding object identities. 2) Also the capabilities after the restore shall be on the same slot (have the same address) in the capability space as before the checkpoint. The capability space resides in the kernel and Genode does not offer an API to manipulate it. Is there a way to accomplish my goal with Genode's API anyway? Kind regards, Denis

3 14

Heeselicht scenario
by Stefan Kalkowski 11 Oct '16

11 Oct '16

Hello Genode folks, hereby, I'd like to announce my recent activity to turn the Turmvilla scenario published by Norman after last year's Hack'n'Hike into an USB live setup. Instead of the original variation, this scenario enables you to boot Genode natively from an USB stick on top of your favorite Intel x86 hardware. In parallel, you can execute your previous installed OS on disk inside a VirtualBox VM without further modifications. This setup offered me the opportunity to switch to Genode without the need to alter my current Linux working environment. Thinking that I'm not the only one that might be interested in such a setup, I've spent some time during our recent Hack'n'Hike in a nice old house in "Heeselicht" to facilitate the steps to reproduce this setup. If you are undaunted, and like to give it a try, you can have a look at the corresponding issue: https://github.com/genodelabs/genode/issues/2018 There are detailed instructions in the issue. For further assistance, leave a comment at the issue tracker or reply to this email. Regards Stefan -- Stefan Kalkowski Genode Labs http://www.genode-labs.com/ · http://genode.org/

1 1

Enabling secure boot on the USB armory
by 오지수 05 Oct '16

05 Oct '16

Hello I'm currently trying to boot Genode 15.02 on the USB Armory. [1] provides tutorial of secure boot on USB Armory. But, [1] only handle linux zImage. Is this possible to generate signed U-boot for Genode image? [1] https://github.com/inversepath/usbarmory/wiki/Secure-boot

3 3

Intel wifi driver
by Martijn Verschoor 03 Oct '16

03 Oct '16

Hi everyone, I’m trying to setup the wifi driver in Turmvilla like scenario’s but with little success. The driver spits out a fair amount of warnings and errors which obfuscates my view of what could be the main issue; thus I would like to reach out for help. A log of the turmvilla scenario (https://github.com/nfeske/genode/tree/turmvilla-16.05) running on a Lenovo x201 is attached. I get very similar results on x250’s. Can anyone point out to me what might be the problem? Met vriendelijke groet / kind regards, Martijn Verschoor Cyber Security Labs B.V. | Gooimeer 6-31 | 1411 DD Naarden | The Netherlands +31 35 631 3253 (office) | +31 616 014 087 (mobile)

3 4

Netaidkit as an alternative wifi client
by Emery Hemingway 28 Sep '16

28 Sep '16

Hello list, I come not with a problem but a solution, My laptop shipped with a wireless card not supported by the Genode wifi driver, and replacing the card model raises an error from the BIOS (which raises some suspicions of firmware interaction). This is usually not a problem as I have plenty of ethernet endpoints in my house, but it is inconvenient when I want to move around. I discovered a few of the people I know in town have actually removed the wireless cards from their Linux laptops and instead use USB powered routers to connect to wifi. They recommended the NetAidKit to me, which I have been using without any problems. I connect to this small router through ethernet and the router acts as a wireless client. It is a solution with some physical bulk, but it pushes the complexity of wifi to the other side of my ethernet hardware. It costs 50 euro, a lot compared to simple client hardware, but it is a project I don't mind supporting. https://netaidkit.net/ Cheers, Emery

1 0

Page faults in managed dataspaces
by Denis Huber 27 Sep '16

27 Sep '16

Dear Genode Community, I want to implement a mechanism to monitor the access of a component to its address space. My idea is to implement a monitoring component which provides managed dataspaces to a target component. Each managed dataspace has several designated dataspaces (allocated, but not attached, and with a fixed location in the managed dataspace). I want to use several dataspaces to control the access range of the target component. Whenever the target component accesses an address in the managed dataspace, a page fault is triggered, because the managed dataspace has no dataspaces attached to it. The page fault is caught by a custom page fault handler. The page fault handler attaches the designated dataspace into the faulting managed dataspace and resolves the page fault. To test my concept I implemented a prototypical system with a monitoring component (called "ckpt") [1] and a target component [2]. [1] https://github.com/702nADOS/genode-CheckpointRestore-SharedMemory/blob/b502… [2] https://github.com/702nADOS/genode-CheckpointRestore-SharedMemory/blob/b502… The monitoring component provides a service [3] to receive a Thread capability to pause the target component before detaching the dataspace and resume after detaching and to provide a managed dataspace to the client. [3] https://github.com/702nADOS/genode-CheckpointRestore-SharedMemory/tree/b502… The monitoring component runs a main loop which pauses the client's main thread and detaches all attached dataspaces from the managed dataspace. The target component also runs a main loop which prints (reads) a number from the managed dataspace to the console and increments (writes) it in the managed dataspaces. The run script is found here [4]. [4] https://github.com/702nADOS/genode-CheckpointRestore-SharedMemory/blob/b502… The scenario works for the first 3 iterations of the monitoring component: Every 4 seconds it detaches the dataspaces from the managed dataspace and afterwards resolves the page faults by attaching the dataspaces back. After the 3. iteration, the target component accesses the theoretically empty managed dataspaces, but does not trigger a page fault. In fact, it reads and writes to the designated dataspaces as if it was attached. By running the run script I get the following output: [init -> target] Initialization started [init -> target] Requesting session to Resource service [init -> ckpt] Initialization started [init -> ckpt] Creating page fault handler thread [init -> ckpt] Announcing Resource service [init -> target] Sending main thread cap [init -> target] Requesting dataspace cap [init -> target] Attaching dataspace cap [init -> target] Initialization ended [init -> target] Starting main loop Genode::Pager_entrypoint::entry()::<lambda(Genode::Pager_object*)>:Could not resolve pf=6000 ip=10034bc [init -> ckpt] Initialization ended [init -> ckpt] Starting main loop [init -> ckpt] Waiting for page faults [init -> ckpt] Handling page fault: READ_FAULT pf_addr=0x00000000 [init -> ckpt] attached sub_ds0 at address 0x00000000 [init -> ckpt] Waiting for page faults [init -> target] 0 [init -> target] 1 [init -> target] 2 [init -> target] 3 [init -> ckpt] Iteration #0 [init -> ckpt] valid thread [init -> ckpt] detaching sub_ds_cap0 [init -> ckpt] sub_ds_cap1 already detached Genode::Pager_entrypoint::entry()::<lambda(Genode::Pager_object*)>:Could not resolve pf=6000 ip=10034bc [init -> ckpt] Handling page fault: READ_FAULT pf_addr=0x00000000 [init -> ckpt] attached sub_ds0 at address 0x00000000 [init -> ckpt] Waiting for page faults [init -> target] 4 [init -> target] 5 [init -> target] 6 [init -> target] 7 [init -> ckpt] Iteration #1 [init -> ckpt] valid thread [init -> ckpt] detaching sub_ds_cap0 [init -> ckpt] sub_ds_cap1 already detached [init -> target] 8 [init -> target] 9 [init -> target] 10 [init -> target] 11 [init -> ckpt] Iteration #2 [init -> ckpt] valid thread [init -> ckpt] sub_ds_cap0 already detached [init -> ckpt] sub_ds_cap1 already detached [init -> target] 12 [init -> target] 13 As you can see: After "iteration #1" ended, no page fault was caused, although the target component printed and incremented the integer stored in the managed dataspace. Could it be, that the detach method was not executed correctly? Kind regards Denis

3 8

tar archive and sd_card partition
by John David 27 Sep '16

27 Sep '16

Hello, I have a libc program called my_test, and I want this program to access files from both an archive (myarchive.tar) and an sd_card partition. For this, I have tried to write a run script and run it, but no luck so far. Part of the configuration is below. I would greatly appreciate if you could help me on the configuration. <start name="sd_card_drv"> <resource name="RAM" quantum="20M"/> <provides><service name="Block"/></provides> </start> <start name="part_blk"> <resource name="RAM" quantum="10M" /> <provides><service name="Block" /></provides> <route> <service name="Block"><child name="sd_card_drv" /></service> <any-service><parent/><any-child/></any-service> </route> <config> <policy label="my_test" partition="2"/> </config> </start> <start name="my_test"> <resource name="RAM" quantum="10M"/> <route> <any-service> <child name="part_blk" /> <parent/> <any-child/> </any-service> </route> <config> <libc stdout="/dev/log" stderr="/dev/log" > <vfs> <dir name="dev"> <log/></dir> <tar name="myarchive.tar"/> </vfs> </libc> </config> </start> Thanks and best regards, John

2 1

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users September 2016