L4/Fiasco.OC & gcc-4.7

[Daniel Müller]

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