On Fri, Apr 20, 2018 at 9:36 AM Marc Zyngier <marc.zyngier@xxxxxxx> wrote: > On 20/04/18 17:30, Nick Desaulniers wrote: > > On Fri, Apr 20, 2018 at 1:13 AM Marc Zyngier <marc.zyngier@xxxxxxx> wrote: > >> Clang isn't > >> really supported to build the arm64 kernel anyway > > > > Can you expand on this? There are millions of arm64 devices shipping with > > Clang built Linux kernels. > How many of these devices run a full-featured mainline kernel? > Sure, Android is building the kernel with clang, but that's with a pile > of out of tree patches. At that point, I'm not sure we're talking about > the same arm64 kernel. Do you recommend that we only work with ARM licensed SoC vendors with no out of tree patches? -- Thanks, ~Nick Desaulniers _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/mailman/listinfo/kvmarm
