-
Notifications
You must be signed in to change notification settings - Fork 0
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Missing tracebuffer.h? #6
Comments
If we configure, with the old compiler:
|
After running
It's worth pointing out, that
This progress is only on x86-64, and we need to go back, and look at x86-32, and PowerPC. |
Problem still happens on PPC64:
Could probably reverse-engineer the build system, and see what's going on. |
For x86, we get further, by relocating the NICTA tracebuffer.h (d4f76c0):
|
libio now seems to build fine, on PPC64, so turning to libl4:
If we force-build powerpc64.cc:
|
If we suppress the conversion warnings:
|
Looks like these aren't the system includes, but the ones in /root/Orion/user/include/l4/powerpc64, whilst we're going down this rabbit hole... |
Aha! Looking in user/, we have a include/l4/tracebuffer.h, plus a include/l4/powerpc/tracebuffer.h, but not a include/l4/powerpc64/tracebuffer.h, for some reason. :( I also pulled across the NICTA version of /user/include/l4/powerpc64/syscalls.h, which will probably break stuff:
|
Oops, commented on the wrong issue - #15 (comment) is the latest status... |
Userland looks to build OK-ish, barring pingpong linking, on x86:
|
On PPC, we now get to:
|
If we put in a stub version, at arch/powerpc64/tracebuffer.h, to knockout the check (we already NOP'd out the trace calls in src/generic/kmemory.cc:
|
Whilst switching back over to the x86 port, I noticed that we had new KDB headers, in src/include, so I started porting them over, which currently gets us to this, with the newer PPC compiler:
|
We get to:
|
New compiler gives:
|
Trying to turn off debugging, in the config:
|
Current state of libl4 is:
|
Status is much the same, as of 29th of September... |
Using the Fedora PPC64BE machine, I can build libio just fine (the first library, that builds on both little/big endians), but building libl4 bails with:
Need to look into this, at some stage...
The text was updated successfully, but these errors were encountered: