diff --git a/common/console.c b/common/console.c
index 5fbd41e..685271c 100644
--- a/common/console.c
+++ b/common/console.c
@@ -33,6 +33,7 @@
 #include <init.h>
 #include <clock.h>
 #include <kfifo.h>
+#include <module.h>
 
 static struct console_device *first_console = NULL;
 
@@ -309,7 +310,7 @@
 
 	return i;
 }
-
+EXPORT_SYMBOL(printf);
 
 int vprintf (const char *fmt, va_list args)
 {
diff --git a/lib/getopt.c b/lib/getopt.c
index c054e13..64d6ac1 100644
--- a/lib/getopt.c
+++ b/lib/getopt.c
@@ -18,6 +18,7 @@
  */
 
 #include <common.h>
+#include <module.h>
 #include <getopt.h>
 
 int opterr = 1;
@@ -25,6 +26,11 @@
 int optopt;
 char *optarg;
 
+EXPORT_SYMBOL(optind);
+EXPORT_SYMBOL(opterr);
+EXPORT_SYMBOL(optopt);
+EXPORT_SYMBOL(optarg);
+
 static int optindex = 1; /* option index in the current argv[] element */
 static int nonopts = 0;  /* number of nonopts found */
 
@@ -33,6 +39,7 @@
 	optind = opterr = optindex = 1;
 	nonopts = 0;
 }
+EXPORT_SYMBOL(getopt_reset);
 
 int getopt(int argc, char *argv[], char *optstring)
 {
@@ -141,3 +148,4 @@
 	optind++;
 	return curopt;
 }
+EXPORT_SYMBOL(getopt);