December 7th, 2012: Status change: . GCC4 is validated. The version that is present in RKit-C816 has successfully passed all tests. Please note, that documentation in the software still indicates that this version is "in test". Consider this "in test" statement as obsolete. Fixes: . GCC4: correct page0 static variables . GCC4: correct float/double constants encoding