Hello all,
I am trying to create a depot archive that is my own custom version of a
port available in the main distribution. I modeled my recipe files after
the ones found in libports/recipes. Section 5.5.1 of the genode
foundations book seems to indicate that adding / would be enough
to distingui
Tomasz, see comments in-line.
Bob
On 1/2/19 10:24 AM, Tomasz Gajewski wrote:
Hi,
I'll try to quickly move discussion about rpi to new thread to not
pollute thread about Roadmap 2019.
Bob Stewart writes:
I'm working on implementing a base-hw kernel on a Cortex A53 platform
(not Rpi) which
> On the other hand - maybe running in HYP mode is what is better for
> Genode? Some hints?
Answering to myself, I've just found:
https://genode.org/documentation/articles/arm_virtualization
so probably I'll find answers there for this question.
Tomasz Gajewski
__
Hi,
I'll try to quickly move discussion about rpi to new thread to not
pollute thread about Roadmap 2019.
Bob Stewart writes:
> I'm working on implementing a base-hw kernel on a Cortex A53 platform
> (not Rpi) which is what the Rpi 3x is based on. So, that means a
> significant amount of work
Hi,
On 02.01.2019 11:22, Tomasz Gajewski wrote:
> Recently I've purchased RPI 3B+ - it is my first arm device and
> currently all aspects of making Genode work on it are on my radar.
I agree that better support for the Raspberry Pi would be useful,
considering how easy and affordable it is to get
Hi Tomasz,
I'm working on implementing a base-hw kernel on a Cortex A53 platform
(not Rpi) which is what the Rpi 3x is based on. So, that means a
significant amount of work to convert from the existing Genode code
supporting the armv7 architecture to support the armv8 architecture. I'm
focuse
Hi,
My main observation is that every aspect of modifying of and integrating
with Genode should be made as easy as possible. Due to the nature of
Genode there are many things that are different from commonly known
solutions and I think especially those parts should be made more easy to
handle. Be
