Intel framebuffer driver

Christian Helmuth christian.helmuth at ...1...
Mon Nov 30 11:57:33 CET 2015

Hello Harm,

on a second look at the fault address, I expect 8K stack will not
suffice. 0xa01fdfe0 is 0x2020 below the top of the stack which is
slightly more than 8K. Did you try larger values like 16K or even 32K?

Christian Helmuth
Genode Labs · · /ˈdʒiː.nəʊd/

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

More information about the users mailing list