Hello,
I am trying to build coreboot for a Lenovo Thinkpad x201.
I followed the instructions from the following documents:
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?
best regards
Norman Wilms