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 l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers