the following patch was just integrated into master: commit 2fba5e27d4aa2cb8f0c96b5e8fb8479f249e8ff8 Author: David Hendricks <dhendrix@chromium.org> Date: Thu Mar 14 19:06:11 2013 -0700 armv7: import new cache maintenance API from coreboot This imports the new cache maintenance API from coreboot at commit bba8090. This is a BSD-licensed implementation which exposes cache maintenance opertaions necessary for payloads for things such as DMA transfers. Change-Id: I554676db89517bebc6edae4f7ab7e5882e6f986d Signed-off-by: David Hendricks <dhendrix@chromium.org> Reviewed-on: http://review.coreboot.org/2974 Tested-by: build bot (Jenkins) Build-Tested: build bot (Jenkins) at Sat Mar 30 00:19:10 2013, giving +1 See http://review.coreboot.org/2974 for details. -gerrit