The build timeframe was less than a month before the 17.08 Genode was released. I was using the 17.05 build which still used the previous NOVA version since NOVA was also updated to v7 when Genode 17.08 was released.
I know I can (and have) re-downloaded the 17.05 Genode but is there a possibility of doing the prepare_port from an earlier version of a port (such as NOVA) so that I can reproduce the build that did work? When I use the 17.05 and prepare the port, it pulls the newest NOVA and this version actually doesn't work with the older Genode source code.
On Thu, May 31, 2018 at 10:57 AM, Christian Helmuth < christian.helmuth@genode-labs.com> wrote:
Hello Chris,
On Wed, May 30, 2018 at 12:11:03PM -0400, Chris Rothrock wrote:
Working with our developers for SABLE, we branched a build of SABLE for
one
purpose - to NOT run the AMD skinit instruction before handing off boot
to
NOVA/Genode. Using this build of SABLE we are able to get a successful boot to the demo.
At this stage, it seems that something fundamental changed within Genode and/or NOVA (and I have also seen this with Genode/seL4 demo) that causes the memory fault to occur on AMD platforms ONLY when the skinit
instruction
is performed prior to boot hand-off. Is this a point where we can dig a little deeper to understand where this problem is occurring?
Your issue description suggests you have the perfect "git bisect" situation: an old source-code revision where it seems to work and a new revision that shows an issue. Therefore, I recommend you try to narrow down the time frame where the issue appears first by testing different revisions of Genode with a minimalistic scenario like "make run/log".
From our side I can't promise any practical contribution as the current release works pretty stable on our test hardware (admittedly Intel not AMD) and we don't have access to SABLE.
Regards
Christian Helmuth Genode Labs
https://www.genode-labs.com/ · https://genode.org/ https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/
Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users