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: [email protected] https://mail.coreboot.org/mailman/listinfo/coreboot
