diff --git a/arch/sandbox/mach-sandbox/include/mach/linux.h b/arch/sandbox/mach-sandbox/include/mach/linux.h
index b9053d8..7c2386d 100644
--- a/arch/sandbox/mach-sandbox/include/mach/linux.h
+++ b/arch/sandbox/mach-sandbox/include/mach/linux.h
@@ -8,8 +8,6 @@
 int linux_read_nonblock(int fd, void *buf, size_t count);
 ssize_t linux_write(int fd, const void *buf, size_t count);
 off_t linux_lseek(int fildes, off_t offset);
-int linux_getc (void);
-void linux_putc (const char c);
 int linux_tstc(int fd);
 
 int barebox_register_console(char *name_template, int stdinfd, int stdoutfd);
diff --git a/arch/sandbox/os/common.c b/arch/sandbox/os/common.c
index 287be0d..dcaf0c8 100644
--- a/arch/sandbox/os/common.c
+++ b/arch/sandbox/os/common.c
@@ -73,17 +73,6 @@
 	tcsetattr(0, TCSANOW, &term_orig);
 }
 
-void linux_putc(const char c)
-{
-	fputc(c, stdout);
-
-	/* If \n, also do \r */
-	if (c == '\n')
-		linux_putc ('\r');
-
-	fflush(stdout);
-}
-
 int linux_tstc(int fd)
 {
 	struct timeval tv = {
@@ -117,15 +106,6 @@
 	return 0;
 }
 
-int linux_getc(void)
-{
-	char ret;
-
-	read(0, &ret, 1);
-
-	return ret;
-}
-
 uint64_t linux_get_time(void)
 {
 	struct timespec ts;