users

users@lists.genode.org

3 participants
2349 discussions

Process migration and persistence
by Daniel Waddington 04 Apr '16

04 Apr '16

Hi Genode world, I'd like to be able to freeze a process (PD or even a vmm), make it persistent, and unfreeze at some later point in time. Does anyone have suggestions/pointers on how to do this? Daniel

3 5

Golang on Genode
by Petar Stupar 04 Apr '16

04 Apr '16

Hi everyone, I'd like to be able to write servers and clients for Genode in Golang. I believe this is currently possible only through gccgo (as I see go is supported by Genode tool-chain) but I'd like to be able to use the native compiler and all of its standard library. I don't think this would be a hard task albeit a bit more involved. First I'd need to port and build an older Golang tool-chain (version 1.3 or 1.4, not sure which of the two is the latest possible) and then bootstrap a newer one. Does this sound about right? What my questions/concerns are: 1. Has there been any previous work done on this or in this direction? 2. Is there any reason why Golang wouldn't be a good choice as a language on top of Genode? Although this seems to me as a very intuitive combination perhaps there are concept/security issues I might have overlooked. 3. Is there any work work being done or work that has been planned already to be done on Genode which could influence the Golang port and it's standard library? I've gone through the Road Map and several things popped out to me which might have some influence like cross-kernel binary compatibility and work to be done on networking stack. 4. Would adding Golang programs into the mix be an issue for the build system? The Genode build system is such a powerful feature and I'd like to think it will be easy and quite natural to integrate it with Golang's build system too, but maybe I'm wrong. I'd be very grateful if I could hear your thoughts and pick your brains before I start. Any suggestions and comments are very welcome. Regards, Peter

5 6

Microkernel Meetup
by Bjoern Doebel 03 Apr '16

03 Apr '16

Hi all, it is time for another meeting of current and former microkernel enthusiasts in Dresden. I prepared a Dudle to find a suitable time: http://dudle.inf.tu-dresden.de/mks-0316/ and will let you know about a location once we settled on a date. Looking forward to your replies! Bjoern

1 2

using picture from Genode Foundations for Thesis
by David Werner 03 Apr '16

03 Apr '16

Hi Genode mailing list, i am currently writing my Bachelor's thesis. Am i allowed to use pictures from "Genode Foundations" Regards, David

2 1

Bare bones child process creation.
by Daniel Waddington 31 Mar '16

31 Mar '16

Hi, I'm trying to do bare bones process creation without using the Child or Process helper classes (I'm toying around with serialization ideas). I tried to construct something similar to http://genode.org/documentation/architecture/process but I can't seem to get it to work (error = exception base not specified on nova32). Does anyone have a small code sample in the vain of http://genode.org/documentation/architecture/process ? Daniel

3 3

Memory protection clarification.
by Daniel Waddington 29 Mar '16

29 Mar '16

Hi, If an application allocates memory from its parent (e.g., from init) - is this memory capability granted or mapped? Assuming a secure kernel and IOMMU, how secure is this memory from access by other processes or the root process? How is memory clean up after application exit/death? (Sorry for the newbie questions, I have some catching up to do). Daniel

2 4

RAM Quota Forwarding
by Nobody III 29 Mar '16

29 Mar '16

I made a service router that subclasses Genode::Root, and I've gotten it to work, but I'm unsure of how to properly implement RAM quota forwarding. How do I implement this?

2 1

Genode in distributed scenarios and ROM proxy implementation
by Johannes Schlatow 23 Mar '16

23 Mar '16

Hi, as I'm beginning to use Genode in a distributed scenario, I had some thoughts about the use of proxy components in order to transmit particular session interfaces over an arbitrary communication medium. The general concept here is that a client component can connect to a server component running on a different Genode system by using a proxy component on each side. For starters, I implemented this for the ROM session. I call this implementation "remote ROM": The remote ROM server is instantiated on the server side and connects to a local ROM service. It relays the content of a particular ROM module the remote ROM client, which is instantiated on another Genode system. The remote ROM client receives the updated ROM content from the remote ROM server and provides a local ROM service. In order to generalise the implementation, I separated the network-specific part in a backend library so that the backend can be tailored for the particular communication medium, protocol and policy. I think this renders the implementation highly flexible. I added a backend implementation (nic_ip) as a proof of concept, which uses a Nic service to transmit network packets with a static IPv4 header. In my opinion, the remote ROM implementation is already the enabler for quite a lot of distributed scenarios as it allows full publisher-subscriber communication of arbitrary data without adding too much interdependencies between the systems. The implementation can be found here: https://github.com/ValiValpas/genode-world/tree/remoterom *Please feel free to adapt/contribute/improve this concept and its implementation.*

3 4

Article about Genode's RISC-V support
by Sebastian Sumpf 22 Mar '16

22 Mar '16

Hello everyone, Genode's 16.02 release added support for the RISC-V CPU architecture. As a follow-up, we just published an experience report where we examine the RISC-V design in more detail. Also, we take an in depth look at the steps that were necessary and the challenges we met in order to enable our base-hw kernel and Genode for this platform. The article can be found at: http://genode.org/documentation/articles/riscv Cheers, Sebastian

1 0

Idea on system-level debugging solution
by Johannes Schlatow 21 Mar '16

21 Mar '16

Hi, as I'm recently developing more sophisticated applications with Genode, I had an idea about how to augment the framework with some system-level debugging functionality that I'd like to share and discuss here: First of all, the idea is motivated by the observation that most Genode components are of rather low complexity by themselves. Hence, debugging not only involves the code of a single component, but the operation of the component in context of its interaction with other components. I have therefore been thinking about a generic mechanism to instrument multiple Genode components in a way that allows halting the operation of a component on an incoming/outgoing signal or RPC, and printing the status of certain objects of that component. The major concept I imagine is a hook-based approach that can be used to halt a particular component on demand. The demand would be indicated by a debug ROM that is provided for each component. Once the component is halted, it can react to changes of the debug ROM and be instructed to print debug information or continue the operation for instance. In addition, we would have a debug component as a central controller and user interface. Based on the user input, the debug controller populates the debug ROMs that are evaluated by the debug logic of the component(s) under test. With this mechanism, we could eventually set "breakpoints" at the hooks of the debugged components and interactively (or automatically) print the debug information of the components. The debug logic can probably be implemented as a debug library that implements the hooks. A component is being instrumented by adding calls to the library functions and registering callback functions that print the debug information. Debugging is disabled by linking against a dummy library. Maybe this could also be implemented as a trace policy. Disclaimer: I currently do not have the resources to implement such a feature, hence anyone keen on this idea is kindly invited to do so ;-)

3 2

Jump to page:

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users