From d1afccf04fc14df778df9287fd379c0c41f5261c Mon Sep 17 00:00:00 2001
From: Peter Michael Green <plugwash@debian.org>
Date: Thu, 28 Jan 2021 20:18:56 +0000
Subject: [PATCH] Fix detection of whether or not the system is a raspberry pi.

---
 pigpio.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pigpio.c b/pigpio.c
index da42bfa..6c57f7d 100644
--- a/pigpio.c
+++ b/pigpio.c
@@ -13772,7 +13772,7 @@ unsigned gpioHardwareRevision(void)
 
    if ((rev & 0x800000) == 0) /* old rev code */
    {
-      if (rev < 0x0016) /* all BCM2835 */
+      if ((rev > 0) && (rev < 0x0016)) /* all BCM2835 */
       {
          pi_ispi = 1;
          piCores = 1;