Memory Page Fault

[Chris Rothrock]

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 <cgrothrock at gmail.com>
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 <
> christian.helmuth at genode-labs.com> 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20180530/c108f457/attachment.html>