Hi,
Am Dienstag, den 28.03.2017, 15:57 +0200 schrieb Christian Helmuth:
> Hey Phillip,
>
> I assume Sebastian will not mind if I give a small hint according to
> item 3 on the list. ;-)
>
> On Tue, Mar 28, 2017 at 03:43:48PM +0200, Sebastian Sumpf wrote:
> > 3. Find and map the PCI I/O memory
Hello Prashanth,
> I'm trying to run noux_bash on Linux on today's master genode branch,
> and running into some issues.
>
> When I make run/noux_bash, I can see a x-window pop-up with the bash
> root prompt, and can extract using echo the following responses from
> bash:
>
> bash-4.1# echo
Hi,
On 29.03.2017 15:06, Martin Stein wrote:
>> And if it is possible, can you please suggest me a starting point for
>> Genode/seL4 on i.MX6? I'm currently going through files in
>> repos/base-sel4 directory and trying to make sense out of it. I'm still
>> quite new to ARM platforms, as well as
Hello,
My name is Aaron. I am writing this letter because I would like to enter
my name consideration in your [possible specificity] project. I did not
participate in the pre-application phase, which I know places me at a
disadvantage, and as a result I am sending this email to probe your
