From bb4485ec29ba420297b76ae1a47dada15e20bd81 Mon Sep 17 00:00:00 2001
From: Ricardo Martins <rasm@oceanscan-mst.com>
Date: Wed, 3 Jun 2015 16:45:06 +0100
Subject: [PATCH] linux: Added Raspberry Pi kernel.

---
 rules/linux/rpi.bash | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 rules/linux/rpi.bash

diff --git a/rules/linux/rpi.bash b/rules/linux/rpi.bash
new file mode 100644
index 0000000..f3fe877
--- /dev/null
+++ b/rules/linux/rpi.bash
@@ -0,0 +1,22 @@
+. "$cfg_dir_rules/$pkg/default.bash"
+
+version=\
+(
+    '3.18_2015-06-03'
+)
+
+url=\
+(
+    "https://github.com/rasmartins/rpi-linux/archive/rpi-linux-$version.tar.gz"
+)
+
+md5=\
+(
+    '0b0255e50ca358b619bb78653ac2db2e'
+)
+
+post_unpack()
+{
+    rmdir "../linux-$version" &&
+        mv "../rpi-linux-rpi-linux-$version" "../linux-$version"
+}