30 Nov
2015
30 Nov
'15
11:57 a.m.
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