From 53690f2500f11fe1064972b1a5d5eb1955544590 Mon Sep 17 00:00:00 2001
From: Slava Pestov <slava@factorcode.org>
Date: Wed, 7 Nov 2007 19:26:26 -0500
Subject: [PATCH] Give credit where credit is due

---
 vm/os-linux-arm.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/vm/os-linux-arm.c b/vm/os-linux-arm.c
index 217fb58fa7..39a3da0b3f 100644
--- a/vm/os-linux-arm.c
+++ b/vm/os-linux-arm.c
@@ -8,6 +8,9 @@ void flush_icache(CELL start, CELL len)
 	identically to the below assembly. */
 	/* result = syscall(__ARM_NR_cacheflush,start,start + len,0); */
 
+	/* Assembly swiped from
+	http://lists.arm.linux.org.uk/pipermail/linux-arm/2002-July/003931.html
+	*/
 	__asm__ __volatile__ (
 		"mov     r0, %1\n"
 		"sub     r1, %2, #1\n"