From ab40997fd0c4553af934b198b4727c1b7034041d Mon Sep 17 00:00:00 2001
From: "Xenofon (Fontas) Fafoutis" <xenofon.fafoutis@bristol.ac.uk>
Date: Wed, 4 Apr 2018 11:10:25 +0100
Subject: [PATCH] ext-flash driver: minor with pin unknown

---
 os/dev/ext-flash.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/os/dev/ext-flash.c b/os/dev/ext-flash.c
index 2d84cbdd7..547ec062c 100644
--- a/os/dev/ext-flash.c
+++ b/os/dev/ext-flash.c
@@ -321,7 +321,7 @@ ext_flash_open(spi_device_t *conf)
   flash_spi_configuration = get_spi_conf(conf);
 
   /* Check if platform has ext-flash */
-  if(flash_spi_configuration->pin_spi_sck == 255) {
+  if(flash_spi_configuration->pin_spi_sck == GPIO_HAL_PIN_UNKNOWN) {
     return false;
   }