Re: Problem Booting x86_64 kernel in qemu

Hello again

On Fri, Aug 10, 2012 at 11:16:07PM +0200, Adam Lackorzynski wrote:
> 
> I just tried it with a recent post 4.7.1 build (4.7.2) and it worked.
> Could you try a different gcc to check this possiblity (e.g. some other
> distribution in a chroot)?

So, I built the kernel on gcc-4.7.0 from pkgsrc on DragonFly, and lo and
behold the kernel seems to work (at least it boots) and then page faults later
while running the hello application, this might be something entirely
different now, and I might have to investigate what could have gone wrong.
(DragonFly build of the svn version fails because of -nostdinc and stddef.h
includes sys/types.h, so I just added /usr/include again which might have
caused a mess)

[...]
No fpage received
MOE: cmdline: moe rom/hello.cfg
MOE: Starting: rom/ned rom/hello.cfg
MOE: loading 'rom/ned'
L4Re[rm]: unhandled read page fault @0 pc=1044b9e
L4Re: unhandled exception: pc=0x1044b9e

Thanks for the help so far. As soon as ArchLinux updates their gcc I will try
again and try to find out whether there's something funny going on with
ArchLinux' multilib compiler.

Cheers,
 Markus

-- 
Markus Pfeiffer, University of St Andrews
email: [email protected] | xmpp: [email protected]

_______________________________________________
l4-hackers mailing list
[email protected]
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.17 (FreeBSD)

iQIcBAEBAgAGBQJQJ8P4AAoJEEYIAIuHgtZGNygP/1ld9mnXHcMJ3RR5d1/rWHKH
Ugm+r2lxXZqH96AlO/OeFFJa/JYhfvjpIg5F9cskP5QuUEaH4I239njNNWYGxuKY
YbyGucexPjRlq8zLmpj+iBhNB9jOtoW4UDy98w5arjY1S8V0zZf8KIV6iRviDFOD
TItDetkwl5q6ffH0cMEqXTjbhywfht5EekrR6ezSSspS2GKFRZYpgcWixratuSLA
ZwM02cB5ozvKWpZDFvjNNHSJ9aw8n0QgoRMavqwL08rpyNOg/m7eX6fJ9gt5rkzf
XRoBT7CGFot16mftCgE1e19ktxXRDVi0c1iYTyO11Rq2Sxpso3TnCA891AN03499
WuGER+jjPiNqX330e+hfByqmJPvs68TDpVxg1iIv4rUDfNqJuMDQ/LTTvdelWIxz
s6f0r6vsaqtyLezqYW1yr9ITmhN4Jjf6mQuydp3DejxysFkd4WS0l/aU9vuyd53G
g41QIbj9FJZP88NIlJSXdygfO+l65fiFcIWUbVZQjvI4NfblZP5U1S0NySXS4K0b
jEK/RIhL3ZuTJqx2M/3iunr9UdCAJyH8g6QuUdfZEzmWtXm5qwle8qgLnArnRNVN
8LjN2V6wmzFKwW96VPCExvc/2peOqdsi38vWcj2ix3Ch4gnLA6zpzcgEZVEWa9j/
gTTVrr9iqd4lJ9g0JwCI
=eFtW
-----END PGP SIGNATURE-----