Index: BOOK/cross-tools/common/gmp.xml
===================================================================
--- BOOK/cross-tools/common/gmp.xml (revision 7422eaa83590bf486f6198de9dafb87226e34d7c)
+++ BOOK/cross-tools/common/gmp.xml (revision ccb7ecb5d345bf46f13b630d474a774b6245de2d)
@@ -32,4 +32,11 @@
xpointer="xpointer(//*[@os='p2'])"/>
-->
+
+
+ If you are building with a host which has 32-bit user-space with a
+ 64-bit capable CPU, cross-tools GMP will attempt to link with 64-bit
+ libraries. Add the following variable during configure
+ to force GMP's ABI: ./configure ABI=32
+
Prepare GMP for compilation: