> Date: Wed, 8 Dec 2021 16:31:50 +0100 > From: Christopher Zimmermann <chr...@openbsd.org> > > >On Wed, Dec 08, 2021 at 10:47:45AM +0100, Christopher Zimmermann wrote: > >> Note that it attaches to "snps,dw-wdt" > > On Wed, Dec 08, 2021 at 08:57:53PM +1100, Jonathan Gray wrote: > >We already have a driver for that. > > Oh no. > > OK?
What problem are you trying to solve? The rk3399 boards can already reboot through PSCI. So adding the driver doesn't really buy us anything. The driver was added for the rk3288, which doesn't necessarily provide a PSCI implementation. > Index: arch/arm64/conf/GENERIC > =================================================================== > RCS file: /cvs/src/sys/arch/arm64/conf/GENERIC,v > retrieving revision 1.215 > diff -u -p -r1.215 GENERIC > --- arch/arm64/conf/GENERIC 3 Dec 2021 19:16:29 -0000 1.215 > +++ arch/arm64/conf/GENERIC 8 Dec 2021 15:29:30 -0000 > @@ -277,6 +277,7 @@ rkpwm* at fdt? > rkrng* at fdt? > rktemp* at fdt? > rkvop* at fdt? > +dwdog* at fdt? > rkdwusb* at fdt? > dwmmc* at fdt? > sdmmc* at dwmmc? > >
