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