Hi there
I am currently trying to build a static linux kernel (one usable without libloader). I have read the earlier thread in this mailing list, but have run into some problems. I tried adding libraries to fix undefined references, since merely adding the static dependencies of libloader.s.so did not work.
Finally, i hit upon references such as __l4sys_abs_ipc_fixup, which frankly looks like something i should not have to care about. ;) A quick scan through the libraries also seemed to indicate that it isn't even exported by any library.
So, what am i doing so fundamentally wrong? Is there a way to build a static linux binary, or is it just intrinsically tied to the loader?