From 74f2b62e3ce5c228d35e0a051f65b7c473418951 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Revol?= <revol@free.fr>
Date: Sat, 1 Nov 2014 01:09:21 +0100
Subject: [PATCH] ARM: Mention an interesting page about floating point

There are so many options on ARM...
---
 docs/develop/ports/arm/urls.txt | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/docs/develop/ports/arm/urls.txt b/docs/develop/ports/arm/urls.txt
index 68a41c21f6..77deb4123c 100644
--- a/docs/develop/ports/arm/urls.txt
+++ b/docs/develop/ports/arm/urls.txt
@@ -9,3 +9,5 @@ http://www.devicetree.org/Device_Tree_Usage
 http://elinux.org/Device_Trees
 * OF
 http://www.openfirmware.info/Bindings
+* Floating Point; VFP
+https://wiki.debian.org/ArmHardFloatPort/VfpComparison