Intel framebuffer driver

[Christian Helmuth]

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?

Greets
-- 
Christian Helmuth
Genode Labs

http://www.genode-labs.com/ · http://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