続々々 src/sys/arch/arm/arm32/pmap.c:2408

NetBSD

結論としては src/sys/arch/arm/arm32/pmap.c:2408 の KASSERT は ARMv6 より前のアーキテクチャでは不要ということになりますな。つーことはこんなパッチで直るんじゃないですかね。

Index: sys/arch/arm/arm32/pmap.c
===================================================================
RCS file: /cvsroot/src/sys/arch/arm/arm32/pmap.c,v
retrieving revision 1.300
diff -u -r1.300 pmap.c
--- sys/arch/arm/arm32/pmap.c   21 Sep 2014 15:45:46 -0000      1.300
+++ sys/arch/arm/arm32/pmap.c   23 Sep 2014 05:28:11 -0000
@@ -2405,7 +2405,11 @@
 		const pt_entry_t opte = *ptep;
 		pt_entry_t npte = opte | execbits;
 
-		KASSERT((opte & L2_XS_nG) == (pm == pmap_kernel() ? 0 : L2_XS_nG));
+#if defined(DIAGNOSTIC) && (defined(CPU_ARMV6) || defined(CPU_ARMV7))
+		if (CPU_IS_ARMV6_P() || CPU_IS_ARMV7_P()) {
+			KASSERT((opte & L2_XS_nG) == (pm == pmap_kernel() ? 0 : L2_XS_nG));
+		}
+#endif
 
 		NPDEBUG(PDB_BITS,
 		    printf( "%s: pv %p, pm %p, va 0x%08lx, flag 0x%x\n",