users August 2016

users@lists.genode.org

17 participants
18 discussions

partition table error
by john stokes 24 Aug '16

24 Aug '16

i am trying to run my l4android run script for the target kernel as fiasco.oc microkernel but when i try to access my android system image (system-ginger.img) from run script it shows error "sda:unknown partition table" my hard drive is GPT based. is this error mean that it is trying to access image from MBR based hard drive.please help me . my run script is being attached with the mail.

1 0

Intercepting ram session of child
by Denis Huber 19 Aug '16

19 Aug '16

Hello Genode community, I am working on a checkpointing component which runs in Genode's userland, on Genode 16.05 on the foc kernel (pbxa9 build). I want to provide custom Ram, Pd, and Cpu sessions for a child component (target) to intercept the remote procedure calls to keep book of the state of the child. But I am having trouble to create such sessions. I looked into the gdb_monitor and noux component and tried to adopt the concepts used. In the gdb_monitor, I found the pd_session_component without a pd_root implementation a very promising approach. It creates a custom Gdb_monitor::Pd_session_component, which wraps a Genode::Pd_connection object. In the constructor the manage method of an entrypoint for this Pd_session_component is called, thus the remote procedure calls to this object can be handled. I tried to adopt this concept for a custom Ram session. I created a very short test program [1] (Run script in [2]) which creates a custom Ram_session_component and tries to transfer quota from its environment to the custom Ram session component. The quota transfer fails with error code -1, which means the recipient of the transfer is not a valid session component [3]. I think the problem is, that I have not created a valid capability of the custom Ram_session_component. What important fact do I miss in my implementation? I am grateful for every hint you give me :) [1] https://github.com/702nADOS/genode-CheckpointRestore-SharedMemory/blob/d2c6… [2] https://github.com/702nADOS/genode-CheckpointRestore-SharedMemory/blob/d2c6… [3] https://github.com/genodelabs/genode/blob/16.05/repos/base/src/core/ram_ses… Kind regards, Denis

2 4

Efficient file copy with rump_fs
by Charles HH 16 Aug '16

16 Aug '16

Hi, I'm currently trying to implement some sort of disk manager component, which would have to perform file copying. I'm using the part_blk and rump_fs combo, accessing the rump_fs through a vfs. I successfully copied files using a local buffer and read/write operations, but it is quite unefficient. Because I am trying to copy large files (several GB), I'd like to know if a more efficient approach has been or might be implemented. Regards, Charles

1 0

Request for Support on the RPI Target
by Florian Grätz 16 Aug '16

16 Aug '16

Dear community, I would greatly appreciate you support on this matter. One of the developers was so kind to point me to the RPi instructions included in the 13.11 release notes: https://genode.org/documentation/release-notes/13.11#Raspberry_Pi Still, this post does not answer all questions. What I have achieved so far: - I cloned the repository - I ran tool/ports/prepareport (which is not mentioned in the Raspberry Pi post) and successfully downloaded dde_linux and libc sources - I used tool/create_builddir to create the build/hw_rpi directory I badly failed with the make -C dde_linux prepare_rpi command. It spit out: make: Entering direcotry '/home/florian/git/genode/repos/dde_linux' make: *** No rule to make target 'prepare_rpi'. Stop. make: Leaving directory '/home/florian/git/genode/repos/dde_linux' No wonder, as this directory does not contain a Makefile. The same happends with the make -C libports prpeare PKG=libc command. Of course, make run/demo fails too. Any hints what I have been missing? Regards, Florian.

2 1

porting python in tz_vmm demo
by Abhay Amala 12 Aug '16

12 Aug '16

Hi, I have been trying to port python2.6 into Genode in tz_vmm demo. I did the following steps. - In the Genode source directory <source directory>/repo/libports make prepare PKG=python - Uncomment the following line in <build directory>/etc/build.conf REPOSITORIES += $(GENODE_DIR)/libports - Add '*python.lib.so <http://python.lib.so>*' to the boot module list in the tz_vmm run script. - Add '*python*' in the target file of the tz_vmm as follows LIBS += python Finally, I got the following error when I compiled the tz_vmm run script. Program core/core COMPILE kernel/test.o LINK core make[1]: Leaving directory `/home/genode/build/hw_imx53_qsb_tz' genode build completed cp: cannot stat ‘bin/tz_vmm’: No such file or directory while executing "exec cp bin/$binary [run_dir]/genode" (procedure "copy_and_strip_genode_binaries_to_run_dir" line 4) invoked from within "copy_and_strip_genode_binaries_to_run_dir $binaries" (procedure "run_boot_dir" line 14) invoked from within "run_boot_dir $binaries" (procedure "build_boot_image" line 2) invoked from within "build_boot_image [join $boot_modules " "]" (file "/home/genode/repos/os/run/tz_vmm.run" line 262) invoked from within "source $include_name" ("foreach" body line 6) invoked from within "foreach include_name [get_cmd_arg --include ""] { # first check if the include name is absolute if {[string first "/" $include_name] == 0} { puts ..." (file "/home/genode/tool/run/run" line 642) make: *** [run/tz_vmm] Error 1 Could anyone have an idea how to fix this error? Thanks, Abhay

5 7

Celebrating Genode's 8th Anniversary
by Norman Feske 09 Aug '16

09 Aug '16

Hello everyone, every summer since 2009, we at Genode Labs celebrate the progress of Genode together with the community by a casual barbecue and campfire at the Elbe river banks. There are many reasons to celebrate: The four quarterly releases of the past year were packed with intriguing topics, ranging from the exploration of the RISC-V architecture, over the introduction of kernel support for Muen and seL4, to the creation of novel GUI and file-system stacks. Besides the engagement with these exciting topics, the dedication of the developer team has gradually moved from feature-centric development toward the cultivation of a sustainable and high-quality code base. This is now embodied in all major parts of the framework, including the fundamentally revised API, its mature tools, the quality and scope of the automated tests, the up-to-date documentation, and the open work flow. We are delighted by positive feedback we have received so far and are especially happy about the growing developer community outside of Genode Labs. To recall the past year's events, glimpse at our next steps, and get together with the friends of Genode, we invite you to our anniversary party: Google Maps: http://goo.gl/maps/C0luj 1st of September, 6 pm near Drachenschänke in Dresden Enjoy grilled vegetarian or non-vegetarian food, have a drink, chat with the people of Dresden's operating-systems community, and relax at the nice scenery at the river! If you are going to attend, we would greatly appreciate a short note from you to ease our preparations: info@...1... 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

Checkpointing dataspaces in core
by Denis Huber 03 Aug '16

03 Aug '16

Dear Genode community, I want to implement a new service (class Cr_session) residing in core which provides an Rpc method to checkpoint the state of a specific component (given its label string). I am using Genode 16.05 and the foc kernel (pbxa9 build). The first step is to store the content of the address space of the compoent. My approach is the following: 1) First a test component is created which shall be checkpointed. The component counts an integer every second. In base/src/test/cr_service/counter/main.cc (newly created file): !void Component::construct(Genode::Env &env) !{ ! unsigned int n = 0; ! Timer::Connection timer(env); ! ! while(1) ! { ! Genode::log(n); ! n++; ! timer.msleep(1000); ! } !} 2) To realize the CR service in core, I want to find the specific PD session of the test component. Therefore a separate Sliced_heap exclusively for Pd_session_component objects is created in core's main function. In base/src/core/main.cc: !static Sliced_heap pd_sliced_heap(env()->ram_session(), env()->rm_session()); ![...] !static Pd_root pd_root(e, e, pager_ep, &pd_sliced_heap); 2) The CR service is registered and the special Sliced_heap is passed to the Root_component<Cr_session_component> object. In base/src/core/main.cc: !static Cr_root cr_root(e, &sliced_heap, &pd_sliced_heap); ![...] !static Local_service ls[] = { ! Local_service(Cr_session::service_name(), &cr_root), ![...] !} 3) In the implementation of the checkpoint method the Sliced_heap (stored in _alloced_pds) is searched for a Pd_session_component with a specific label string. The class implementing the Cr service (Genode::Cr_session_component : Rpc_object<Cr_session>) is a friend class in Sliced_heap and is allowed to access the _blocks member variable containing the Pd_session_component objects. In base/src/core/include/cr_session_component.h (newly created file): !bool checkpoint(String<64> label) !{ ! Pd_session_component *pd = nullptr; ! bool found = false; ! Sliced_heap::Block *b = _alloced_pds->_blocks.first(); ! for(; (b != 0) && !found; b = b->next()) ! { ! pd = reinterpret_cast<Pd_session_component*>(b + 1); ! if(label == pd->_label.string) found = true; ! } 4) The Pd_session_component object is known and now it shall be used to access the test component's address space content. To retrieve the content I want to attach the Dataspace of the component's Region_map to core's Region_map. In base/src/core/include/cr_session_component.h (newly created file): ! Capability<Region_map> rm_cap = pd->address_space(); ! Region_map_client rm_client(rm_cap); ! void* addr = core_env()->rm_session()->attach(rm_client.dataspace()); ! return true; !} 5) After invoking rm_client.dataspace() the Rpc method never returns and the test scenario times out. What am I doing wrong? I compared the source code of other core services with the CR service and found no usage of classes derived from Rpc_client belonging to other core services. Is it not possible to use Rpc methods in core? I tested another solution where I only use Rpc_objects directly. I used pd_session_component::address_space_region_map() to access the address_space directly, where I think to find the memory content of the test component (Please correct me, if I am wrong). The following listing replaces the listing in step 4. In base/src/core/include/cr_session_component.h (newly created file): ! Dataspace_capability ds_cap = pd->address_space_region_map().dataspace(); ! char* addr = core_env()->rm_session()->attach(ds_cap); ! log("Attaching dataspace: Returned pointer: ", addr); ! ! Dataspace_component *ds_comp = pd->address_space_region_map().dataspace_component(); ! log("Reading dataspace component"); ! log("phys_addr = ", ds_comp->phys_addr(), " size = ", ds_comp->size(), " writable = ", ds_comp->writable() ? "true" : "false"); The output of the log function was the following: Attaching dataspace: Returned pointer: 0x00000000 Reading dataspace component phys_addr = 0 size = 3221221376 writable = false Now I got a null pointer and cannot read the content of the Region_map of the test component. Can someone help me to answer the following questions: * Can I use Capability invokation in core, where the Rpc_object belongs to another core service? If yes, how? Perhaps, my problem is the correct retrieval of the Pd_session_component, thus I can invalid Capabilities. * Why do I get an invalid pointer from the attach method of core's Region_map? Is it not allowed to attach dataspaces in core? Are they already attached in core, and I only need the pointer to the memory? Is the Dataspace_capability invalid? Kind regards Denis

2 4

Genode Scheduling TrustZone Demo
by Stefan Brenner 01 Aug '16

01 Aug '16

Hi, we are using inject_irq() from Martin Stein to inject interrupts into the normal world VM running Linux. When measuring the time between issuing inject_irq() and actually arriving at the ISR in normal world (using CPU performance counters in CPU cycles granularity) we can see that this always requires at least 10 million cycles, which is 10ms at 1Ghz and exactly what is defined as cpu_fill_ms in base-hw/src/core/include/kernel/configuration.h. If we set cpu_fill_ms to 1, we can measure that it only requires 1 million cycles. Apparently it is not possible to set values below 1 (some assertion fails on compile). Is there another option, probably a more elegant one, that allows the acceleration of interrupt injection? Best, Stefan. -- M.Sc. Stefan Brenner Institute of Operating Systems and Computer Networks Distributed Systems Group TU Braunschweig www: https://www.ibr.cs.tu-bs.de/users/brenner mail: brenner@...290... xmpp: brenner@...369...

3 2

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users August 2016