Re: port-evbarm/54757: evbarm-earmv7hf no longer boots

[Andreas Gustafsson <gson%gson.org@localhost>]

The following reply was made to PR port-evbarm/54757; it has been noted by GNATS.

From: Andreas Gustafsson <gson%gson.org@localhost>
To: gnats-bugs%netbsd.org@localhost
Cc: 
Subject: Re: port-evbarm/54757: evbarm-earmv7hf no longer boots
Date: Thu, 12 Dec 2019 18:22:08 +0200

 Taylor R Campbell wrote:
 >  Have you tried since kern_mutex.c 1.85?
 
 The TNF testbed now has, and it booted:
 
   http://releng.netbsd.org/b5reports/evbarm-earmv7hf/commits-2019.12.html#2019.12.11.21.05.17
 
 I'll close the PR.
 -- 
 Andreas Gustafsson, gson%gson.org@localhost