diff --git a/plat/rpi/build.mk b/plat/rpi/build.mk
index a522046f3..eb1cd036f 100644
--- a/plat/rpi/build.mk
+++ b/plat/rpi/build.mk
@@ -29,16 +29,11 @@ platform-libsys := \
 	write.c \
 	isatty.c \
 	brk.c \
-
-ifeq (x,y)
-	_sys_rawread.s \
-	_sys_rawwrite.s \
 	getpid.c \
 	kill.c \
 	lseek.c \
 	time.c \
 	signal.c
-endif
 
 $(eval $(call build-platform))
 
diff --git a/plat/rpi/libsys/_sys_rawread.s b/plat/rpi/libsys/_sys_rawread.s
deleted file mode 100644
index 02edba21a..000000000
--- a/plat/rpi/libsys/_sys_rawread.s
+++ /dev/null
@@ -1,26 +0,0 @@
-#
-/*
- * Raspberry Pi support library for the ACK
- * © 2013 David Given
- * This file is redistributable under the terms of the 3-clause BSD license.
- * See the file 'Copying' in the root of the distribution for the full text.
- */
-
-! Declare segments (the order is important).
-
-.sect .text
-.sect .rom
-.sect .data
-.sect .bss
-
-.sect .text
-
-! Reads a single byte.
-
-.define __sys_rawread
-__sys_rawread:
-	xorb ah, ah
-	int 0x16
-	xorb ah, ah
-	ret
-	
\ No newline at end of file
diff --git a/plat/rpi/libsys/_sys_rawwrite.s b/plat/rpi/libsys/_sys_rawwrite.s
deleted file mode 100644
index a424574d7..000000000
--- a/plat/rpi/libsys/_sys_rawwrite.s
+++ /dev/null
@@ -1,32 +0,0 @@
-#
-/*
- * Raspberry Pi support library for the ACK
- * © 2013 David Given
- * This file is redistributable under the terms of the 3-clause BSD license.
- * See the file 'Copying' in the root of the distribution for the full text.
- */
-
-! Declare segments (the order is important).
-
-.sect .text
-.sect .rom
-.sect .data
-.sect .bss
-
-.sect .text
-
-! Writes a single byte to the console.
-
-.define __sys_rawwrite
-.extern __sys_rawwrite
-
-__sys_rawwrite:
-	push bp
-	mov bp, sp
-
-	movb al, 4(bp)
-	movb ah, 0x0E
-	mov bx, 0x0007
-	int 0x10
-	jmp .cret
-	
\ No newline at end of file