On Fri, Sep 23, 2016 at 04:10:30PM -0400, Paul Dufresne wrote:
> I begin to feel lost... might try to put my while(1) in that but I
> really not sure I am on the right trail.

It's just a guess but it might be your CPU does not support a feature
used in the page table that is set up for VGA. You could try to
disable VGA by providing novga on the kernel commandline.

-- 
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

------------------------------------------------------------------------------
_______________________________________________
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main

Reply via email to