L4/Fiasco.OC & gcc-4.7

Marcus Hähnel mhaehnel at os.inf.tu-dresden.de
Sun Oct 13 10:44:40 CEST 2013

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

More information about the l4-hackers mailing list