petalinux の環境と glibc

petalinux の elf.h などに CONFIG_MMU という define が(というか ifdef が)あって、こいつが設定されていないとちゃんと MMU つきの場合のコンパイルが出来ないということがわかった。したがって、configure 時に(おそらく) export CFLGAS=-DCONFIG_MMU とかすればいいのだろう。