Portenta_H7_ISR_Servo - compatibility matrix

This report was generated on Wednesday, 23-Feb-22 22:48:15 CET using arduino-testlib.

Portenta_H7_ISR_Servo

Version: 1.0.0
More details

Compatibility matrix

Board	Claims compatibility	Inclusion	Portenta_H7_ISR_MultiServos	Portenta_H7_MultipleRandomServos	Portenta_H7_MultipleServos
arduino:avr:uno 1.8.4	No	FAIL	FAIL	FAIL	FAIL
arduino:mbed_nano:nanorp2040connect 2.7.2	No	FAIL	FAIL	FAIL	FAIL
arduino:megaavr:nona4809 1.8.7	No	FAIL	FAIL	FAIL	FAIL
arduino:samd:mkrwifi1010 1.8.12	No	FAIL	FAIL	FAIL	FAIL
esp32:esp32:d1_mini32 1.0.6	No	FAIL	FAIL	FAIL	FAIL

Compilation logs

arduino:avr:uno @ 1.8.4

Inclusion

Result: FAIL

In file included from /tmp/arduino-testlib3655861408/test/test.ino:1:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:31:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:67:0,
                 from /tmp/arduino-testlib3655861408/test/test.ino:1:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_FastTimerInterrupt.h:29:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/stm32/HardwareTimer.h:62:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_FastTimerInterrupt.h:38,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:67,
                 from /tmp/arduino-testlib3655861408/test/test.ino:1:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/stm32/timer.h:50:10: fatal error: PinNames.h: No such file or directory
 #include "PinNames.h"
          ^~~~~~~~~~~~
compilation terminated.

examples/Portenta_H7_ISR_MultiServos

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_ISR_MultiServos/Portenta_H7_ISR_MultiServos.ino:56:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_ISR_MultiServos/Portenta_H7_ISR_MultiServos.ino:62:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:31:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:67:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_ISR_MultiServos/Portenta_H7_ISR_MultiServos.ino:62:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_FastTimerInterrupt.h:29:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/stm32/HardwareTimer.h:62:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_FastTimerInterrupt.h:38,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:67,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_ISR_MultiServos/Portenta_H7_ISR_MultiServos.ino:62:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/stm32/timer.h:50:10: fatal error: PinNames.h: No such file or directory
 #include "PinNames.h"
          ^~~~~~~~~~~~
compilation terminated.

examples/Portenta_H7_MultipleRandomServos

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_MultipleRandomServos/Portenta_H7_MultipleRandomServos.ino:56:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_MultipleRandomServos/Portenta_H7_MultipleRandomServos.ino:62:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:31:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:67:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_MultipleRandomServos/Portenta_H7_MultipleRandomServos.ino:62:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_FastTimerInterrupt.h:29:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/stm32/HardwareTimer.h:62:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_FastTimerInterrupt.h:38,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:67,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_MultipleRandomServos/Portenta_H7_MultipleRandomServos.ino:62:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/stm32/timer.h:50:10: fatal error: PinNames.h: No such file or directory
 #include "PinNames.h"
          ^~~~~~~~~~~~
compilation terminated.

examples/Portenta_H7_MultipleServos

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_MultipleServos/Portenta_H7_MultipleServos.ino:56:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_MultipleServos/Portenta_H7_MultipleServos.ino:62:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:31:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:67:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_MultipleServos/Portenta_H7_MultipleServos.ino:62:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_FastTimerInterrupt.h:29:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/stm32/HardwareTimer.h:62:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_FastTimerInterrupt.h:38,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:67,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_MultipleServos/Portenta_H7_MultipleServos.ino:62:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/stm32/timer.h:50:10: fatal error: PinNames.h: No such file or directory
 #include "PinNames.h"
          ^~~~~~~~~~~~
compilation terminated.

arduino:mbed_nano:nanorp2040connect @ 2.7.2

Inclusion

Result: FAIL

WARNING: library Portenta_H7_ISR_Servo claims to run on mbed, mbed_portenta, ArduinoCore-mbed architecture(s) and may be incompatible with your current board which runs on mbed_nano architecture(s).
In file included from /tmp/arduino-testlib3004849644/test/test.ino:1:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:31:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:67:0,
                 from /tmp/arduino-testlib3004849644/test/test.ino:1:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_FastTimerInterrupt.h:29:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^~~~~

examples/Portenta_H7_ISR_MultiServos

Result: FAIL

WARNING: library Portenta_H7_ISR_Servo claims to run on mbed, mbed_portenta, ArduinoCore-mbed architecture(s) and may be incompatible with your current board which runs on mbed_nano architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_ISR_MultiServos/Portenta_H7_ISR_MultiServos.ino:56:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_ISR_MultiServos/Portenta_H7_ISR_MultiServos.ino:62:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:31:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:67:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_ISR_MultiServos/Portenta_H7_ISR_MultiServos.ino:62:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_FastTimerInterrupt.h:29:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^~~~~

examples/Portenta_H7_MultipleRandomServos

Result: FAIL

WARNING: library Portenta_H7_ISR_Servo claims to run on mbed, mbed_portenta, ArduinoCore-mbed architecture(s) and may be incompatible with your current board which runs on mbed_nano architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_MultipleRandomServos/Portenta_H7_MultipleRandomServos.ino:56:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_MultipleRandomServos/Portenta_H7_MultipleRandomServos.ino:62:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:31:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:67:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_MultipleRandomServos/Portenta_H7_MultipleRandomServos.ino:62:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_FastTimerInterrupt.h:29:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^~~~~

examples/Portenta_H7_MultipleServos

Result: FAIL

WARNING: library Portenta_H7_ISR_Servo claims to run on mbed, mbed_portenta, ArduinoCore-mbed architecture(s) and may be incompatible with your current board which runs on mbed_nano architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_MultipleServos/Portenta_H7_MultipleServos.ino:56:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_MultipleServos/Portenta_H7_MultipleServos.ino:62:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:31:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:67:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_MultipleServos/Portenta_H7_MultipleServos.ino:62:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_FastTimerInterrupt.h:29:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^~~~~

arduino:megaavr:nona4809 @ 1.8.7

Inclusion

Result: FAIL

In file included from /tmp/arduino-testlib3004849644/test/test.ino:1:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:31:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:67:0,
                 from /tmp/arduino-testlib3004849644/test/test.ino:1:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_FastTimerInterrupt.h:29:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/stm32/HardwareTimer.h:62:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_FastTimerInterrupt.h:38,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:67,
                 from /tmp/arduino-testlib3004849644/test/test.ino:1:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/stm32/timer.h:50:10: fatal error: PinNames.h: No such file or directory
 #include "PinNames.h"
          ^~~~~~~~~~~~
compilation terminated.

examples/Portenta_H7_ISR_MultiServos

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_ISR_MultiServos/Portenta_H7_ISR_MultiServos.ino:56:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_ISR_MultiServos/Portenta_H7_ISR_MultiServos.ino:62:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:31:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:67:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_ISR_MultiServos/Portenta_H7_ISR_MultiServos.ino:62:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_FastTimerInterrupt.h:29:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/stm32/HardwareTimer.h:62:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_FastTimerInterrupt.h:38,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:67,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_ISR_MultiServos/Portenta_H7_ISR_MultiServos.ino:62:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/stm32/timer.h:50:10: fatal error: PinNames.h: No such file or directory
 #include "PinNames.h"
          ^~~~~~~~~~~~
compilation terminated.

examples/Portenta_H7_MultipleRandomServos

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_MultipleRandomServos/Portenta_H7_MultipleRandomServos.ino:56:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_MultipleRandomServos/Portenta_H7_MultipleRandomServos.ino:62:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:31:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:67:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_MultipleRandomServos/Portenta_H7_MultipleRandomServos.ino:62:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_FastTimerInterrupt.h:29:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/stm32/HardwareTimer.h:62:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_FastTimerInterrupt.h:38,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:67,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_MultipleRandomServos/Portenta_H7_MultipleRandomServos.ino:62:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/stm32/timer.h:50:10: fatal error: PinNames.h: No such file or directory
 #include "PinNames.h"
          ^~~~~~~~~~~~
compilation terminated.

examples/Portenta_H7_MultipleServos

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_MultipleServos/Portenta_H7_MultipleServos.ino:56:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_MultipleServos/Portenta_H7_MultipleServos.ino:62:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:31:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:67:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_MultipleServos/Portenta_H7_MultipleServos.ino:62:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_FastTimerInterrupt.h:29:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/stm32/HardwareTimer.h:62:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_FastTimerInterrupt.h:38,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:67,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_MultipleServos/Portenta_H7_MultipleServos.ino:62:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/stm32/timer.h:50:10: fatal error: PinNames.h: No such file or directory
 #include "PinNames.h"
          ^~~~~~~~~~~~
compilation terminated.

arduino:samd:mkrwifi1010 @ 1.8.12

Inclusion

Result: FAIL

In file included from /tmp/arduino-testlib3655861408/test/test.ino:1:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:31:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:67:0,
                 from /tmp/arduino-testlib3655861408/test/test.ino:1:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_FastTimerInterrupt.h:29:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/stm32/HardwareTimer.h:62:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_FastTimerInterrupt.h:38,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:67,
                 from /tmp/arduino-testlib3655861408/test/test.ino:1:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/stm32/timer.h:50:10: fatal error: PinNames.h: No such file or directory
 #include "PinNames.h"
          ^~~~~~~~~~~~
compilation terminated.

examples/Portenta_H7_ISR_MultiServos

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_ISR_MultiServos/Portenta_H7_ISR_MultiServos.ino:56:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_ISR_MultiServos/Portenta_H7_ISR_MultiServos.ino:62:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:31:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:67:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_ISR_MultiServos/Portenta_H7_ISR_MultiServos.ino:62:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_FastTimerInterrupt.h:29:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/stm32/HardwareTimer.h:62:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_FastTimerInterrupt.h:38,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:67,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_ISR_MultiServos/Portenta_H7_ISR_MultiServos.ino:62:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/stm32/timer.h:50:10: fatal error: PinNames.h: No such file or directory
 #include "PinNames.h"
          ^~~~~~~~~~~~
compilation terminated.

examples/Portenta_H7_MultipleRandomServos

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_MultipleRandomServos/Portenta_H7_MultipleRandomServos.ino:56:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_MultipleRandomServos/Portenta_H7_MultipleRandomServos.ino:62:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:31:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:67:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_MultipleRandomServos/Portenta_H7_MultipleRandomServos.ino:62:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_FastTimerInterrupt.h:29:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/stm32/HardwareTimer.h:62:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_FastTimerInterrupt.h:38,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:67,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_MultipleRandomServos/Portenta_H7_MultipleRandomServos.ino:62:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/stm32/timer.h:50:10: fatal error: PinNames.h: No such file or directory
 #include "PinNames.h"
          ^~~~~~~~~~~~
compilation terminated.

examples/Portenta_H7_MultipleServos

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_MultipleServos/Portenta_H7_MultipleServos.ino:56:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_MultipleServos/Portenta_H7_MultipleServos.ino:62:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:31:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:67:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_MultipleServos/Portenta_H7_MultipleServos.ino:62:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_FastTimerInterrupt.h:29:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/stm32/HardwareTimer.h:62:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_FastTimerInterrupt.h:38,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:67,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_MultipleServos/Portenta_H7_MultipleServos.ino:62:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/stm32/timer.h:50:10: fatal error: PinNames.h: No such file or directory
 #include "PinNames.h"
          ^~~~~~~~~~~~
compilation terminated.

esp32:esp32:d1_mini32 @ 1.0.6

Inclusion

Result: FAIL

In file included from /tmp/arduino-testlib332420418/test/test.ino:1:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:31:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:67:0,
                 from /tmp/arduino-testlib332420418/test/test.ino:1:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_FastTimerInterrupt.h:29:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/stm32/HardwareTimer.h:62:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_FastTimerInterrupt.h:38,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:67,
                 from /tmp/arduino-testlib332420418/test/test.ino:1:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/stm32/timer.h:50:22: fatal error: PinNames.h: No such file or directory
compilation terminated.

examples/Portenta_H7_ISR_MultiServos

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_ISR_MultiServos/Portenta_H7_ISR_MultiServos.ino:56:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_ISR_MultiServos/Portenta_H7_ISR_MultiServos.ino:62:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:31:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:67:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_ISR_MultiServos/Portenta_H7_ISR_MultiServos.ino:62:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_FastTimerInterrupt.h:29:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/stm32/HardwareTimer.h:62:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_FastTimerInterrupt.h:38,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:67,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_ISR_MultiServos/Portenta_H7_ISR_MultiServos.ino:62:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/stm32/timer.h:50:22: fatal error: PinNames.h: No such file or directory
compilation terminated.

examples/Portenta_H7_MultipleRandomServos

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_MultipleRandomServos/Portenta_H7_MultipleRandomServos.ino:56:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_MultipleRandomServos/Portenta_H7_MultipleRandomServos.ino:62:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:31:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:67:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_MultipleRandomServos/Portenta_H7_MultipleRandomServos.ino:62:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_FastTimerInterrupt.h:29:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/stm32/HardwareTimer.h:62:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_FastTimerInterrupt.h:38,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:67,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_MultipleRandomServos/Portenta_H7_MultipleRandomServos.ino:62:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/stm32/timer.h:50:22: fatal error: PinNames.h: No such file or directory
compilation terminated.

examples/Portenta_H7_MultipleServos

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_MultipleServos/Portenta_H7_MultipleServos.ino:56:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_MultipleServos/Portenta_H7_MultipleServos.ino:62:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:31:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:67:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_MultipleServos/Portenta_H7_MultipleServos.ino:62:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_FastTimerInterrupt.h:29:4: error: #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED ARDUINO_PORTENTA_H7 platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/stm32/HardwareTimer.h:62:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_FastTimerInterrupt.h:38,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/Portenta_H7_ISR_Servo.h:67,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/examples/Portenta_H7_MultipleServos/Portenta_H7_MultipleServos.ino:62:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Portenta_H7_ISR_Servo/src/stm32/timer.h:50:22: fatal error: PinNames.h: No such file or directory
compilation terminated.