Hello Norman,
As far as I know, coreboot runs in 32-bit mode on the x86 architecture, even if the hardware supports x86_64. This does not prevent running x86_64 OSes. Therefore, and as the first document you linked says, you should build the i386 toolchain and build coreboot with it.
Kind regards,
Angel Pons Pons
On Sun, Aug 19, 2018 at 8:43 PM, hybris@e2m.io wrote:
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
-- coreboot mailing list: coreboot@coreboot.org https://mail.coreboot.org/mailman/listinfo/coreboot