Hello,

I am trying to build coreboot for a Lenovo Thinkpad x201.

I followed the instructions from the following documents:
https://doc.coreboot.org/lessons/lesson1.html
https://www.coreboot.org/Build_HOWTO

When using the crossgcc-x64 toolchain building works fine but linking fails with the following error:
coreboot/src/console/vtxprintf.c:102: undefined reference to '__udivmoddi4'

As far is i could find out this error should not even get thrown for x64, since `__udivmoddi4` is an optimization for i386. [0]

Building (and linking) with the crossgcc-i386 toolchain works fine though.
But I guess x64 features will then be missing in the build.

Is there currently a way to build a x64 version of coreboot or do I have to go with i386 for now?

[0] https://stackoverflow.com/questions/51457851/building-coreboot-undefined-reference-udivmoddi4

best regards

Norman Wilms