K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2013-08-17T18:51:38.234528Z
K 7
svn:log
V 228
Rename device vfp to option VFP and retire the ARM_VFP_SUPPORT option. This
simplifies enabling as previously both options were required to be enabled,
now we only need a single option.

While here enable VFP on the PandaBoard.

END