kernel: add kernel for Raspberry Pi.

[ipfire-2.x.git] / make.sh

diff --git a/make.sh b/make.sh
index 9b27f059bdb393266d4205e1b9dad4c640cdb0c1..7cd9f4d07f2c08a69d4ad60ab270aaad3ee05115 100755 (executable)
--- a/make.sh
+++ b/make.sh
@@ -384,6 +384,7 @@ buildipfire() {
   ipfiremake xz
   ipfiremake linux-firmware
   ipfiremake zd1211-firmware
+  ipfiremake rpi-firmware
   ipfiremake fw_ath9k_htc
   ipfiremake u-boot
 
@@ -436,6 +437,11 @@ buildipfire() {
     ipfiremake e1000e                  KCFG=""
     ipfiremake igb                     KCFG=""
   else
+    # arm-omap kernel build
+    ipfiremake linux-rpi               KCFG="-rpi"
+
+    ipfiremake linux3                  KCFG="-omap"
+
     # arm-versatile kernel build
     ipfiremake linux                   KCFG="-versatile"
     ipfiremake v4l-dvb                 KCFG="-versatile"