diff -r 000000000000 -r bde4ae8d615e os/security/crypto/weakcrypto/eabi/randsvrU.DEF
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/os/security/crypto/weakcrypto/eabi/randsvrU.DEF	Fri Jun 15 03:10:57 2012 +0200
@@ -0,0 +1,9 @@
+EXPORTS
+	_Z15RunRandomServerPv @ 1 NONAME
+	_ZTI13CRandomServer @ 2 NONAME ; #<TI>#
+	_ZTI14CRandomSession @ 3 NONAME ; #<TI>#
+	_ZTI16CRandomScheduler @ 4 NONAME ; #<TI>#
+	_ZTV13CRandomServer @ 5 NONAME ; #<VT>#
+	_ZTV14CRandomSession @ 6 NONAME ; #<VT>#
+	_ZTV16CRandomScheduler @ 7 NONAME ; #<VT>#
+