L4/Fiasco.OC & gcc-4.7

Daniel Müller Daniel.Mueller at mailbox.tu-dresden.de
Sat Oct 12 18:33:35 CEST 2013


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 

without changes to any of the previously working source codes. Going 
back to 4.6.3 fixes the issue.


More information about the l4-hackers mailing list