DF-4546 / run.2.log
>>> SIGSEGV: kernel-equivalent NULL-pointer WRITE at 0x0 DF-4546 lifted-copy harness: lm_detach -> sensordev_deinstall of never-installed ksensordev (lm78.c:445-458 + sys/sys/queue.h:646) === CONTROL normal chip (numsensors=19) === OK (clean, as expected) === BUG W83791SD zero-sensor attach (numsensors=0) === NULL-WRITE FAULT REPRODUCED REPRODUCED: zero-sensor attach + detach writes through NULL and corrupts sensordev_list.tqh_last