Re: port-xen/57535 (dtrace on Xen DOMU might need -x nolibs)

[Martin Husemann <martin%duskware.de@localhost>]

On Sat, Jul 22, 2023 at 11:12:37AM +0000, Taylor R Campbell wrote:
> I think maybe we should delete the makeoptions lines in the kernel
> configs, and set MKDEBUG=yes or at least MKDEBUGKERNEL=yes by default.

If you mean that globally:
last time we tried that the evbarm* builds exploded in size (due to millions
of kernels build there). This could be less drastic nowadays with many
more configs moved into GENERIC but we need to be a bit carefull here.

Martin