Hi Daniel,
Have you done a
"make oldconfig"
in the src/l4 directory? This has fixed similar problems for me in the
past. The configuration is specific to the files that come with the
compiler and needs to be notified of a compiler change.
- Marcus
On 2013-10-12 18:33, Daniel Müller wrote:
Hello,
are there any known issues with Fiasco.OC in conjunction with
gcc-4.7? I've just upgrade from 4.6.3 to 4.7.3 and I see warnings of
the form:
KERNEL: Warning: nothing mapped: (Obj_space) from
[0xffffffffffd97dd8/36]: 000000000000044c size: 0000000000000001 to
[0xffffffffffd97d28/50]
without changes to any of the previously working source codes. Going
back to 4.6.3 fixes the issue.
Thanks,
Daniel
_______________________________________________
l4-hackers mailing list
[email protected]
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
_______________________________________________
l4-hackers mailing list
[email protected]
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
