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
_______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
