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? Chris Rothrock On Wed, May 23, 2018 at 2:36 PM, Chris Rothrock <[email protected]> wrote: > I have tried this also with the 32 bit with the same results. > > On Wed, May 23, 2018 at 2:16 PM, Christian Helmuth < > [email protected]> wrote: > >> Hello Chris, >> >> On Tue, May 22, 2018 at 02:22:33PM -0400, Chris Rothrock wrote: >> > ########################################################## >> > ### Without SABLE Boot Module ### >> > ########################################################## >> > >> > NOVA Microhypervisor v7-ef4b287 (x86_32): May 10 2018 10:39:11 [gcc >> 6.3.0] >> [...] >> > ########################################################## >> > ### With SABLE Boot Module ### >> > ########################################################## >> > >> > NOVA Microhypervisor v7-ef4b287 (x86_64): Feb 9 2018 14:02:24 [gcc >> 6.3.0] >> >> Additionally to using SABLE in the second boot you also run NOVA >> x86_64 unlike the SABLE-less boot of NOVA x86_32. Did you also check >> the two remaining combinations - no SABLE x86_64 and SABLE with >> x86_32? >> >> Beside this difference I can't see anything leaping to the eye. Do >> other (more simple tests like run/log) also fail with a page fault >> that early? >> >> Greets >> -- >> 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 >> > > > > -- > > > Thank You, > > Chris Rothrock > Senior System Administrator > (315) 308-1637 > > > -- Thank You, Chris Rothrock Senior System Administrator (315) 308-1637
_______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
