the bitrig patrick_ptesync branch has been created by patrick. it is 0 commits behind master, and 1 commit ahead.
commit 0a789ff728b42593d32fba965b094bfdc93a7c9d diff: https://github.com/bitrig/bitrig/commit/0a789ff author: Patrick Wildt <[email protected]> date: Sat Oct 18 23:21:36 2014 +0200 arm: drain the write buffer on every pte sync Currently we keep the pagetables uncached. This means that we don't need to take care of flushing the L1- and L2-Caches when we change something there. But what we forgot is that the write buffer has to be emptied manually if we want to make sure the changes get to the memory as soon as possible. What happens at the moment is that when we change something in the pagetables, we do not make sure it hits memory ASAP. Therefore, drain the writebuf every time we call PTE_SYNC. This fixes the issues seen when trying to boot Allwinner A20 based systems. M sys/arch/arm/include/pmap.h
