index ab4d8893189f4a875e4f4706b98ea5f5522d11cc..2551d31aa0076b901c9fdfe167b5fd8621fc01c7 100644 (file)
*/
#define TARGET_PWR_NAND -1
+/**
+ * @brief
+ * The PSC number for GPIO. GPIO is in the always on domain
+ */
+#define TARGET_PWR_GPIO -1
+
/**
* @brief
#define BOOT_SET_BITFIELD(z,f,x,y) (((UINT32)z) & ~BOOTBITMASK(x,y)) | ( (((UINT32)f) << (y)) & BOOTBITMASK(x,y) )
+/**
+ * @brief
+ * The c6455 supports only booting the ibl from i2c
+ */
+#define deviceReadBootDevice() BOOT_DEVICE_I2C
+
+
+