From 4b3c1a2d075d90d0320dd84aae237d6f58183bf3 Mon Sep 17 00:00:00 2001
From: David Given <dg@cowlark.com>
Date: Thu, 2 Jun 2016 12:21:13 +0200
Subject: [PATCH] Add missing (but probably non-working) rpi file.

--HG--
branch : default-branch
---
 plat/rpi/.distr | 1 +
 1 file changed, 1 insertion(+)

diff --git a/plat/rpi/.distr b/plat/rpi/.distr
index 529eec7e9..cb3527f02 100644
--- a/plat/rpi/.distr
+++ b/plat/rpi/.distr
@@ -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