Sorry not sure: Again I don't use Portenta for much... Bought it, as was curious of the differences between it and the GIGA...
It is two different sets of include files, which both have declares for the sleep function.
The main one was included through the Arduino.h file, the other one was through the
Portenta library Portenta_SDCARD which included: SDMMCBlockDevice.h
Maybe problem with that library?
Note: I believe I was running my own library/example code that was displaying pictures off of an SD card (or USB drive), onto an ILI9341 display. Code is up at:
ILI9341_GIGA_n/examples/tft_picture_view_sd at main ยท KurtE/ILI9341_GIGA_n (github.com)
I have not run it in awhile, but did just successfully build the example:
The Example code included:
#ifdef ARDUINO_PORTENTA_H7_M7
#include "SDMMCBlockDevice.h"
#include "FATFileSystem.h"
#endif
The link shows:
C:\Users\kurte\AppData\Local\Arduino15\packages\arduino\hardware\mbed_portenta\4.1.1\bootloaders\PORTENTA_H7\portentah7_bootloader_mbed_hs_v2.elf syntax error: no colon char on the first line character at line 1
Multiple libraries were found for "SdFat.h"
Used: C:\Users\kurte\Documents\Arduino\libraries\SdFat_real
Not used: C:\Users\kurte\Documents\Arduino\libraries\SdFat_-_Adafruit_Fork
Using library Arduino_USBHostMbed5 at version 0.3.1 in folder: D:\github\Arduino_USBHostMbed5
Using library SPI in folder: C:\Users\kurte\AppData\Local\Arduino15\packages\arduino\hardware\mbed_portenta\4.1.1\libraries\SPI (legacy)
Using library Portenta_SDCARD at version 1.0 in folder: C:\Users\kurte\AppData\Local\Arduino15\packages\arduino\hardware\mbed_portenta\4.1.1\libraries\Portenta_SDCARD
Using library SdFat at version 2.2.2 in folder: C:\Users\kurte\Documents\Arduino\libraries\SdFat_real
Using library elapsedMillis at version 1.0.6 in folder: C:\Users\kurte\Documents\Arduino\libraries\elapsedMillis
Using library GIGA_digitalWriteFast in folder: D:\github\UNOR4-stuff\libraries\GIGA_digitalWriteFast (legacy)
Using library JPEGDEC at version 1.4.2 in folder: C:\Users\kurte\Documents\Arduino\libraries\JPEGDEC
Using library PNGdec at version 1.0.1 in folder: C:\Users\kurte\Documents\Arduino\libraries\PNGdec
Using library ILI9341_GIGA_n at version 1.1.1 in folder: D:\github\ILI9341_GIGA_n
Using library LibPrintf at version 1.2.13 in folder: C:\Users\kurte\Documents\Arduino\libraries\LibPrintf
My code is sort of convoluted, as I wrote wrapper class, such the other code could work with files returned by things like SDFat (for SPI connected SD cards)... Which run faster!