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 regardsNorman Wilms
--
coreboot mailing list: coreboot@coreboot.org
https://mail.coreboot.org/mailman/listinfo/coreboot