diff -r 000000000000 -r 83f4b4db085c bldsystemtools/commonbldutils/plat.ini
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/bldsystemtools/commonbldutils/plat.ini	Tue Feb 02 01:39:43 2010 +0200
@@ -0,0 +1,3 @@
+ARMV5 = RVCT 2.2.616
+ARMV6 = RVCT 2.2.616
+ARMV7 = RVCT 3.1.700