From 8bc3fbea370b57d8cb715ec3a87073e961abae3c Mon Sep 17 00:00:00 2001
From: Peter Steenbergen <info@j1nx.nl>
Date: Tue, 21 Jan 2020 20:37:12 +0100
Subject: [PATCH] MycroftOS: Disabled GPIO IRQ as it does not behave correctly
 on the kernel. - This solves the hangin of the RPI when initiating the
 respeaker LED skill

---
 buildroot-external/board/raspberrypi/config.txt | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/buildroot-external/board/raspberrypi/config.txt b/buildroot-external/board/raspberrypi/config.txt
index 73a6701f..9ead0c2f 100644
--- a/buildroot-external/board/raspberrypi/config.txt
+++ b/buildroot-external/board/raspberrypi/config.txt
@@ -35,3 +35,6 @@ dtparam=i2c_arm=on
 dtoverlay=i2s-mmap
 dtparam=i2s=on
 dtparam=spi=on
+
+# Disable GPIO IRQ
+dtoverlay=gpio-no-irq