Static Linux kernel, anyone?
schulz.stefan at gmail.com
Fri Apr 7 15:07:09 CEST 2006
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?
More information about the l4-hackers