> Date: Sun, 01 Jul 2018 06:34:05 +0700 > From: Robert Elz <k...@munnari.oz.au> > > Date: Sat, 30 Jun 2018 22:47:51 +0000 > From: "Taylor R Campbell" <riastr...@netbsd.org> > Message-ID: <20180630224751.777cdf...@cvs.netbsd.org> > > | Module Name: src > | Committed By: riastradh > | Date: Sat Jun 30 22:47:51 UTC 2018 > | > | Modified Files: > | src/sys/kern: kern_ntptime.c kern_tc.c > > | Enables Xen to boot again. > > It does indeed. Thanks.
Sorry about the breakage with xen_machdep.c that made finding this tricky. Apparently I had compiled and booted a kernel from the wrong tree.