Static Linux kernel, anyone?

Stefan Schulz schulz.stefan at
Fri Apr 7 15:07:09 CEST 2006

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 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 mailing list