Add missing (but probably non-working) rpi file.
authorDavid Given <dg@cowlark.com>
Thu, 2 Jun 2016 10:21:13 +0000 (12:21 +0200)
committerDavid Given <dg@cowlark.com>
Thu, 2 Jun 2016 10:21:13 +0000 (12:21 +0200)
--HG--
branch : default-branch

plat/rpi/.distr

index 529eec7..cb3527f 100644 (file)
@@ -22,6 +22,7 @@ libsys/open.c
 libsys/pi_phys_to_user.s
 libsys/pi_uart.s
 libsys/pi_user_to_phys.s
+libsys/pi_fast_mode.s
 libsys/read.c
 libsys/select.c
 libsys/signal.c