From 6461365e0c149d2f55ac1af875eff40aee80edc5 Mon Sep 17 00:00:00 2001
From: Antti Kantee <pooka@iki.fi>
Date: Wed, 15 Apr 2015 09:13:54 +0000
Subject: [PATCH] use stdio where appropriate

oh the irony, stdio used where it shouldn't be and not used where
it should be ...
---
 platform/xen/lib/libc_stubs.c | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/platform/xen/lib/libc_stubs.c b/platform/xen/lib/libc_stubs.c
index 641863c..008af34 100644
--- a/platform/xen/lib/libc_stubs.c
+++ b/platform/xen/lib/libc_stubs.c
@@ -1,13 +1,12 @@
-#include <mini-os/console.h>
-
 #include <errno.h>
+#include <stdio.h>
 
 #define STUB(name)				\
   int name(void); int name(void) {		\
 	static int done = 0;			\
 	errno = ENOTSUP;			\
 	if (done) return ENOTSUP; done = 1;	\
-	minios_printk("STUB ``%s'' called\n", #name);	\
+	printf("STUB ``%s'' called\n", #name);	\
 	return ENOTSUP;}
 
 STUB(__sigaction14);
-- 
2.39.5