Hello Stefan,
thank you for your help and finding the problem :)
Can you tell me, how I can obtain your unofficial upgrade of foc and how
I can replace Genode's standard version with it?
Kind regards,
Denis
On 26.09.2016 15:15, Stefan Kalkowski wrote:
> Hi Dennis,
>
> I further examined the
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
Hi Dennis,
I've looked into your code, and what struck me first was that you use
two threads in your server, which share data in between
(Resource::Client_resources) without synchronization.
I've rewritten your example server to only use one thread in a
state-machine like fashion, have a look
Hey Denis,
On 09/24/2016 06:20 PM, Denis Huber wrote:
> Dear Genode Community,
>
> perhaps the wall of text is a bit discouraging to tackle the problem.
> Let me summaries the important facts of the scenario:
>
> * Two components 'ckpt' and 'target'
> * ckpt shares a thread capability of
Hi Dennis,
I further examined the issue. First, I found out that is is specific to
Fiasco.OC. If you use another kernel, e.g., Nova, with the same test, it
succeeds. So I instrumented the core component to always enter
Fiasco.OC's kernel debugger when core unmapped the corresponding managed
