"Sun-Mi You" smyou@postech.ac.kr writes:
I've change Makefile and Linux was compiled sucessfully. But, the problem still occurs at same point.
Is there other suggestion?
Hmm... Are you sure you re-built the emulib? If in doubt, please "make clean" and rebuild the whole kernel. Changing the Makefile and just doing a "make" in the top-level directory is not enough because the Makefiles are probably not included in the object dependencies.
Sorry for being so overly accurate with this; I just want to make sure it's not that known problem.
Michael
l4-hackers@os.inf.tu-dresden.de