> On May 1, 2020, at 5:54 PM, Rafael Aquini <aquini@xxxxxxxxxx> wrote: > > It seems like a good idea which also would required "adding things" > elsewhere, but doesn't look mutually exclusive with the approach here. Also, what’s so special about these bad pages here that deserve a crash dump, but not other TAINT_BAD_PAGE places?
