[coreboot] undefined reference to '__udivmoddi4'

Th3Fanbus . th3fanbus at gmail.com
Sun Aug 19 21:01:55 CEST 2018

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
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 at 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 at coreboot.org
> https://mail.coreboot.org/mailman/listinfo/coreboot
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.coreboot.org/pipermail/coreboot/attachments/20180819/947cb1ab/attachment.html>

More information about the coreboot mailing list