On Sat, 19 Sep 2020 at 15:59, Paolo Bonzini <pbonz...@redhat.com> wrote: > > I don't know, the way pc-bios/ works seems just wrong to me. pc-bios > should IMO be its own build system with support for docker-based cross > compilers similar to tests/tcg.
Yes, I've always thought this :-) It borrows the host x86 compiler just because it kinda happens to work most of the time in the common cases. Now we have proper docker cross infrastructure available it would certainly be nice to use it consistently for building firmware. (It would also make it more palatable to have VDSOs for linux-user, which would also need to be built with a target C compiler.) -- PMM