1 files changed, 34 insertions, 0 deletions
diff --git a/cpukit/libcsupport/src/printk_plugin.c b/cpukit/libcsupport/src/printk_plugin.c
new file mode 100644
index 0000000000..60d93a96af
--- /dev/null
+++ b/cpukit/libcsupport/src/printk_plugin.c
@@ -0,0 +1,34 @@
+/*
+ *  COPYRIGHT (c) 1989-2007.
+ *  On-Line Applications Research Corporation (OAR).
+ *
+ *  The license and distribution terms for this file may be
+ *  found in the file LICENSE in this distribution or at
+ *  http://www.rtems.com/license/LICENSE.
+ *
+ * $Id$
+ */
+
+#if HAVE_CONFIG_H
+#include "config.h"
+#endif
+
+#include <stdarg.h>
+#include <rtems/bspIo.h>
+
+int printk_plugin(
+  void *ignored __attribute__((unused)),
+  const char *format,
+  ...
+)
+{
+  va_list arg_pointer;
+
+  va_start (arg_pointer, format);
+
+  vprintk( format, arg_pointer );
+
+  va_end(arg_pointer); /* clean up when done */
+
+  return 0;
+}