RPI can do file RW.

include/bx/config.h

@@ -28,6 +28,7 @@
 				|| BX_PLATFORM_LINUX \
 				|| BX_PLATFORM_OSX \
 				|| BX_PLATFORM_QNX \
+				|| BX_PLATFORM_RPI \
 				|| BX_PLATFORM_WINDOWS \
 				? 1 : 0)
 #endif // BX_CONFIG_CRT_FILE_READER_WRITER

include/bx/readerwriter.h

@@ -2,7 +2,7 @@
  * Copyright 2010-2013 Branimir Karadzic. All rights reserved.
  * License: http://www.opensource.org/licenses/BSD-2-Clause
  */
- 
+
 #ifndef BX_READERWRITER_H_HEADER_GUARD
 #define BX_READERWRITER_H_HEADER_GUARD