Dear Genode community,
we are currently trying to get a Raspberry Pi 1 Model B running with
Genode 16.08 and Fiasco.OC r67 from https://github.com/skalk/foc/.
We made changes to both, genode and foc but the basis are the two
mentioned versions.
Trying to boot the RPi, we are left with the follow
Hi,
it seems to work if i use .data()->kcap(). Is that correct?
Kind Regards,
David
Am 05.07.2017 um 13:46 schrieb David Werner:
Hi Stefan,
Am 29.06.2017 um 18:18 schrieb Stefan Kalkowski:
What I meant with:
"... the signal handler thread transfers its identity to core via
request_semaph
Hi Stefan,
Am 29.06.2017 um 18:18 schrieb Stefan Kalkowski:
What I meant with:
"... the signal handler thread transfers its identity to core via
request_semaphore..."
was that you add an additional argument to the request_semaphore call,
which is the CPU session's thread capability of the c
Hi Hinnerk,
On 24.06.2017 01:20, Hinnerk van Bruinehsen wrote:
> I'm using a fork of seL4's elfloader-tool that I've hacked together to
> create an image that acutally boots (at least it gets into the genode
> userland image where it is failing).
> To be clear: I need to add calls to kernel_debugg
