-
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
Problems with IPC/TCB headers #5
Comments
After enabling the tracebuffer, in the kernel settings:
|
Seems to be nothing to do with macros.h, since we have two identical copies?
|
For some reason, we have kernel/src/arch/x86/atomic.h, but not kernel/src/arch/powerpc64/atomic.h. |
With the NICTA space.h:
|
If we copy the 32-bit PPC version:
|
With the new compiler:
|
Old/new/old compiler switching:
|
Seems that some API changes were made (addition/removal of a "timeout" parameter, according to https://github.com/vmlemon/Orion/search?q=SYS_IPC+%28threadid_t+to_tid%2C+threadid_t+from_tid%29&unscoped_q=SYS_IPC+%28threadid_t+to_tid%2C+threadid_t+from_tid%29, and some other stuff). GCC-6 on x64 gives us:
|
For x86, a lot has changed, between the IA32 (NICTA), and x86-32 (L4Ka) versions of utcb.h:
|
To bring things into focus, it seems that the L4KA version is actually newer, but some functions were added/moved, and a lot of definitions changed, compared to the NICTA version:
|
With the Enryo kernel, everything builds, but there's now some regressions, with the converged Orion one... |
After some weird regressions, and files disappearing, randomly, I've found some workarounds for the
|
I feel a sense of deja-vu, with this:
|
With last night's modifications, to add support for building on RedHat/Fedora, we get a little further, however there are problems with ipc.h missing (unsure if I can recycle the PPC32 version, for PPC64), and if I substitute with a dummy file, we get problems with the macros that generate various header files:
The text was updated successfully, but these errors were encountered: