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-ref...
best regards
Norman Wilms