Kill stdio for real

Signed-off-by: Marc Zyngier <maz@kernel.org>

4 files changed, 0 insertions, 6 deletions

diff --git a/platform.h b/platform.h
index b23d20d..a983813 100644
--- a/platform.h
+++ b/platform.h
@@ -1,4 +1,3 @@
-#include <stdio.h>
 #include "m1-pd-bmc.h"
 
 static void platform_usleep(uint64_t us)
diff --git a/start.c b/start.c
index 0d494b1..895f7ab 100644
--- a/start.c
+++ b/start.c
@@ -1,7 +1,6 @@
 // FUSB302-based serial/reset/whatever controller for M1-based systems
 
 #include <stddef.h>
-#include <stdio.h>
 
 #include "bsp/board.h"
 #include "tusb.h"
@@ -218,7 +217,6 @@ int main(void)
 
 	board_init();
 	tusb_init();
-	stdio_init_all();
 
 	m1_pd_bmc_system_init(&hw0);
 	m1_pd_bmc_system_init(&hw1);
diff --git a/tcpm_driver.c b/tcpm_driver.c
index a6eda48..fd78712 100644
--- a/tcpm_driver.c
+++ b/tcpm_driver.c
@@ -1,5 +1,3 @@
-#include <stdio.h>
-
 #include "m1-pd-bmc.h"
 #include "tcpm_driver.h"
 
diff --git a/vdmtool.c b/vdmtool.c
index 3998f3b..f0dd40e 100644
--- a/vdmtool.c
+++ b/vdmtool.c
@@ -1,7 +1,6 @@
 #include <stdint.h>
 #include <stddef.h>
 #include <stdarg.h>
-#include <stdio.h>
 #include <stdlib.h>
 #include <string.h>