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
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
Hi Marcus,
On 10/13/13 10:44, Marcus Hähnel wrote:
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.
No change. I've rebuilt everything but symptoms stay the same.
Is there a way to change the default gcc and g++ to use when bulding L4 (this way I could at least have my host system use the new gcc while compiling L4 with the older version)? I've seen the config options for Fiasco but this is not sufficient.
Thanks, Daniel
On Sun Oct 13, 2013 at 16:23:39 +0200, Daniel Müller wrote:
Is there a way to change the default gcc and g++ to use when bulding L4 (this way I could at least have my host system use the new gcc while compiling L4 with the older version)? I've seen the config options for Fiasco but this is not sufficient.
Put a Makeconf.local in the root directory of the build tree: CC=gcc-... -m.. CXX=g++-... -m..
Did that happen when you rebuilt L4Re or Fiasco, or both? To which version of gcc-4.7 were you upgrading, i.e. which distribution and version? And, is that always reproducable? (Could I reproduce that?)
Thanks, Adam
On 10/14/13 00:05, Adam Lackorzynski wrote:
On Sun Oct 13, 2013 at 16:23:39 +0200, Daniel Müller wrote:
Is there a way to change the default gcc and g++ to use when bulding L4 (this way I could at least have my host system use the new gcc while compiling L4 with the older version)? I've seen the config options for Fiasco but this is not sufficient.
Put a Makeconf.local in the root directory of the build tree: CC=gcc-... -m.. CXX=g++-... -m..
Works, thanks!
Did that happen when you rebuilt L4Re or Fiasco, or both?
It happens with L4Re. Building Fiasco with the new version causes no problems.
To which version of gcc-4.7 were you upgrading, i.e. which distribution and version?
I am using Gentoo Linux. I've tried gcc 4.7.3-r1 and 4.8.1-r1. Both show the same problem.
And, is that always reproducable? (Could I reproduce that?)
It is always reproducible. I suppose you could reproduce that unless there are custom Gentoo patches causing the problem.
Daniel
l4-hackers@os.inf.tu-dresden.de