--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/plugins/consoles/common/eabi/consoleextensions.def	Thu Aug 12 16:38:42 2010 +0100
@@ -0,0 +1,12 @@
+EXPORTS
+	_ZN19MIosrvConsoleHelper11WriteStdErrERK7TDesC16 @ 1 NONAME
+	_ZN19MIosrvConsoleHelper24CleanupUnderlyingConsoleEv @ 2 NONAME
+	_ZN19MIosrvConsoleHelper26HandleConsoleCreationErrorERK7TDesC16i @ 3 NONAME
+	_ZN19MIosrvConsoleHelper29MIosrvConsoleHelper_ExtensionEjRPvS0_ @ 4 NONAME
+	_ZN19MIosrvConsoleHelper7MessageENS_10TVerbosityE11TRefByValueIK7TDesC16Ez @ 5 NONAME
+	_ZN19MIosrvConsoleHelper8SetDebugEi @ 6 NONAME
+	_ZNK19MIosrvConsoleHelper5DebugEv @ 7 NONAME
+	_ZTI19MIosrvConsoleHelper @ 8 NONAME
+	_ZTV19MIosrvConsoleHelper @ 9 NONAME
+	_ZNK19MIosrvConsoleHelper17UnderlyingConsoleEv @ 10 NONAME
+