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

Reply via email to