From: David Wolfskill <david at catwhisker.org> Subject: Re: panic: sched_pickcpu: Failed to find a cpu. Date: Wed, 25 Sep 2019 08:08:15 -0700 > Yes; mav@ fixed it with r352677. Thanks. I'll update source tree and rebuild kernel. Regards. --- Yasuhiro KIMURA