users

users@lists.genode.org

1 participants
2310 discussions

Announcement: Genode OS Framework version 16.08 released
by Christian Helmuth 31 Aug '16

31 Aug '16

This release is packed with lots of improvements in areas ranging from extended base-platform support over networking and virtualization to new tools for statistical profiling. We quite proudly announce extended support for the seL4 kernel as a platform for dynamic and interactive Genode scenarios on x86. The new version enables users of seL4 to compose dynamic operating systems from a plethora of ready-to-use Genode components. Further, the developers from Codelabs contribute their efforts in running unmodified guest operating systems on top their Muen separation kernel with a port of VirtualBox 4. As we consider VirtualBox as key feature of Genode, this release also includes a first experimental version of VirtualBox 5 on top of the NOVA kernel. Another highlight of the new version is a virtual networking component for routing and NAT accompanied by the ability to use the TOR network. The current release contains the following changes and new features. - Base platforms - Interactive and dynamic workloads on top of the seL4 kernel - Binary compatibility across all supported kernels - Xilinx Zynq board support for Parallela, Zedboard, ZC706, ZC702 - Networking - Virtual networking (routing, NAT) - New TOR component - ROM sessions in a network-distributed Genode system - Virtualization - VirtualBox 4 on top of the Muen separation kernel - Experimental version of VirtualBox 5 for NOVA - Libraries and components - Improved ACPI integration - Growing library of "shim" services such as a framebuffer scaler, an input remapper, a ROM fallback service, and a LOG duplicator - Ported 3rd-party software such as diffutils, less, mbed TLS, libxml2, RISC-V front-end server - New file-downloading component - Statistical profiling Find the complete release documentation for the version 16.08 at https://genode.org/documentation/release-notes/16.08 Happy hacking with Genode! -- Christian Helmuth Genode Labs http://www.genode-labs.com/ · http://genode.org/ https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/ Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

1 0

Stack overflow protection/detection
by Johannes Schlatow 31 Aug '16

31 Aug '16

Hi all, I guess you are familiar with the problem of stack overflows in multi-threaded components. I already encountered a bunch of weird errors that were hard to track down until I remembered that it could simply be caused by a too small stack. I know that Genode's policy is to use single-threaded components. Occasionally, however, one needs additional threads, especially when using 3rd party libraries. Stack overflows are not only very annoying and time consuming but can (imo) also be mitigated rather easily. I therefore think it would be worth implementing a protection or detection mechanism for this in Genode. The "problem" here is actually the `Stack_allocator` which places the stacks of the component threads consecutively in memory. I.e. if one thread exceeds its allocated stack area, it likely corrupts the stack of another thread (of the same component). Hence, one could improve the `Stack_allocator` so that it keeps a guard page between the stacks in order to cause a page fault on any stack overflow. This comes at the cost of a slightly increased complexity and possibly also an increased memory consumption (because it requires a second-level translation table). Alternatively, I can imagine a kernel-level (base-hw) approach which uses canaries at the top of each stack. Every time the kernel switches to a user thread, it checks whether the canary is still alive. If not, another thread's stack must have overflowed. Of course, this method is only reliable if we can assume that every memory word on the stack will be initialised (preferably sequentially). Note that I'm not eager to implement these techniques in the near future. Nevertheless, I thought it would be great to start a discussion and collect comments and additional ideas. Looking forward to your feedback! Cheers Johannes

3 4

Genode 16.05 Fault handler
by Denis Huber 30 Aug '16

30 Aug '16

Dear Genode community, in Genode 16.05 the old usage of Signal_receivers and Signal_contexts is considered deprecated. Instead Signal_handler and Signal_transmitter shall be used. I am trying to use a Signal_handler as a fault handler for env's address space. I wrote a short test to illustrate the problem [1]. [1] https://github.com/702nADOS/genode-CheckpointRestore-SharedMemory/blob/c9a5… The output of [1] is as follows: " [init -> pf-signal_handler] --- pf-signal_handler started --- no RM attachment (WRITE pf_addr=1000 pf_ip=100061c from 2ae000) Genode::Pager_entrypoint::entry()::<lambda(Genode::Pager_object*)>: Could not resolve pf=1000 ip=100061c " The signal handler was registered correctly, because the line " Genode::Core_pd_session_component::submit(Genode::Capability<Genode::Signal_context>, unsigned int)::<lambda(Genode::Signal_context_component*)>: invalid signal-context capability " is missing. However, the method _handle_fault() is never entered. What am I doing wrong? Kind regards, Denis

3 11

Upgrade session before quota exceedes
by Denis Huber 25 Aug '16

25 Aug '16

Dear Genode community, I want to dynamically create Region maps through an RM session (amount not known at compile time). If the RAM quota of the session exceedes, I want to upgrade the RAM quota of the session. For this case I wrote a small test [1] which creates Region maps until an exception is thrown and I tried to catch it. I realized that the exception was thrown in another thread (core's entrypoint probably), meaning I cannot catch it in my test component's thread. [1] https://github.com/702nADOS/genode-CheckpointRestore-SharedMemory/blob/0a78… For a better insight I logged the RAM quota consumption in Rm_session_component::create. The output of my test looks as follows: [init -> rm_stresser] --- Rm-creation-stresser started --- [init -> rm_stresser] Round 0 Alloc avail: 49152 [init -> rm_stresser] Round 1 Alloc avail: 36864 [init -> rm_stresser] Round 2 Alloc avail: 24576 [init -> rm_stresser] Round 3 Alloc avail: 12288 [init -> rm_stresser] Round 4 Alloc avail: 0 [init -> rm_stresser] Round 5 Quota exceeded! amount=61440, size=8192, consumed=61440 Uncaught exception of type 'Genode::Allocator::Out_of_memory' Warning: abort called - thread: entrypoint Is there an easy way to upgrade a session's RAM quota before allocating objects with no available RAM? If there is already a component in Genode which solves my problem, I would love to see the source code :) Kind regards, Denis

2 2

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

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users