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