NRF52_MBED_TimerInterrupt - compatibility matrix

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

NRF52_MBED_TimerInterrupt

Version: 1.4.0
More details

Compatibility matrix

Board	Claims compatibility	Inclusion	SwitchDebounce	multiFileProject	Argument_None	Change_Interval	FakeAnalogWrite	ISR_16_Timers_Array_Complex	ISR_16_Timers_Array	TimerInterruptLEDDemo	TimerInterruptTest
arduino:avr:uno 1.8.4	No	FAIL	FAIL	FAIL	FAIL	FAIL	FAIL	FAIL	FAIL	FAIL	FAIL
arduino:mbed_nano:nanorp2040connect 2.7.2	Yes ⚠️	FAIL	FAIL	FAIL	FAIL	FAIL	FAIL	FAIL	FAIL	FAIL	FAIL
arduino:megaavr:nona4809 1.8.7	No	FAIL	FAIL	FAIL	FAIL	FAIL	FAIL	FAIL	FAIL	FAIL	FAIL
arduino:samd:mkrwifi1010 1.8.12	No	FAIL	FAIL	FAIL	FAIL	FAIL	FAIL	FAIL	FAIL	FAIL	FAIL
esp32:esp32:d1_mini32 1.0.6	No	FAIL	FAIL	FAIL	FAIL	FAIL	FAIL	FAIL	FAIL	FAIL	FAIL

Compilation logs

arduino:avr:uno @ 1.8.4

Inclusion

Result: FAIL

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /tmp/arduino-testlib7153542/test/test.ino:1:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:78:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /tmp/arduino-testlib7153542/test/test.ino:1:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:86:10: fatal error: hal/nrf_timer.h: No such file or directory
 #include "hal/nrf_timer.h"
          ^~~~~~~~~~~~~~~~~
compilation terminated.

examples/Argument_None

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/Argument_None/Argument_None.ino:29:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/Argument_None/Argument_None.ino:40:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:78:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/Argument_None/Argument_None.ino:40:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:86:10: fatal error: hal/nrf_timer.h: No such file or directory
 #include "hal/nrf_timer.h"
          ^~~~~~~~~~~~~~~~~
compilation terminated.

examples/Change_Interval

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/Change_Interval/Change_Interval.ino:29:2: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
 #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
  ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/Change_Interval/Change_Interval.ino:40:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:78:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/Change_Interval/Change_Interval.ino:40:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:86:10: fatal error: hal/nrf_timer.h: No such file or directory
 #include "hal/nrf_timer.h"
          ^~~~~~~~~~~~~~~~~
compilation terminated.

examples/FakeAnalogWrite

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/FakeAnalogWrite/FakeAnalogWrite.ino:36:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/FakeAnalogWrite/FakeAnalogWrite.ino:47:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:78:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/FakeAnalogWrite/FakeAnalogWrite.ino:47:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:86:10: fatal error: hal/nrf_timer.h: No such file or directory
 #include "hal/nrf_timer.h"
          ^~~~~~~~~~~~~~~~~
compilation terminated.

examples/ISR_16_Timers_Array

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/ISR_16_Timers_Array/ISR_16_Timers_Array.ino:36:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/ISR_16_Timers_Array/ISR_16_Timers_Array.ino:47:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:78:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/ISR_16_Timers_Array/ISR_16_Timers_Array.ino:47:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:86:10: fatal error: hal/nrf_timer.h: No such file or directory
 #include "hal/nrf_timer.h"
          ^~~~~~~~~~~~~~~~~
compilation terminated.

examples/ISR_16_Timers_Array_Complex

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:36:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:47:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:78:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:47:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:86:10: fatal error: hal/nrf_timer.h: No such file or directory
 #include "hal/nrf_timer.h"
          ^~~~~~~~~~~~~~~~~
compilation terminated.

examples/SwitchDebounce

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:34:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:45:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:78:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:45:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:86:10: fatal error: hal/nrf_timer.h: No such file or directory
 #include "hal/nrf_timer.h"
          ^~~~~~~~~~~~~~~~~
compilation terminated.

examples/TimerInterruptLEDDemo

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/TimerInterruptLEDDemo/TimerInterruptLEDDemo.ino:29:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/TimerInterruptLEDDemo/TimerInterruptLEDDemo.ino:40:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:78:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/TimerInterruptLEDDemo/TimerInterruptLEDDemo.ino:40:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:86:10: fatal error: hal/nrf_timer.h: No such file or directory
 #include "hal/nrf_timer.h"
          ^~~~~~~~~~~~~~~~~
compilation terminated.

examples/TimerInterruptTest

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:28:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:39:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:78:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:39:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:86:10: fatal error: hal/nrf_timer.h: No such file or directory
 #include "hal/nrf_timer.h"
          ^~~~~~~~~~~~~~~~~
compilation terminated.

examples/multiFileProject

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:19:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/multiFileProject/multiFileProject.h:21:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:22:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:78:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/multiFileProject/multiFileProject.h:21:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:22:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:86:10: fatal error: hal/nrf_timer.h: No such file or directory
 #include "hal/nrf_timer.h"
          ^~~~~~~~~~~~~~~~~
compilation terminated.

arduino:mbed_nano:nanorp2040connect @ 2.7.2

Inclusion

Result: FAIL

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /tmp/arduino-testlib2601085874/test/test.ino:1:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:78:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /tmp/arduino-testlib2601085874/test/test.ino:1:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:86:10: fatal error: hal/nrf_timer.h: No such file or directory
 #include "hal/nrf_timer.h"
          ^~~~~~~~~~~~~~~~~
compilation terminated.

examples/Argument_None

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/Argument_None/Argument_None.ino:29:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/Argument_None/Argument_None.ino:40:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:78:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/Argument_None/Argument_None.ino:40:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:86:10: fatal error: hal/nrf_timer.h: No such file or directory
 #include "hal/nrf_timer.h"
          ^~~~~~~~~~~~~~~~~
compilation terminated.

examples/Change_Interval

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/Change_Interval/Change_Interval.ino:29:2: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
 #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
  ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/Change_Interval/Change_Interval.ino:40:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:78:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/Change_Interval/Change_Interval.ino:40:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:86:10: fatal error: hal/nrf_timer.h: No such file or directory
 #include "hal/nrf_timer.h"
          ^~~~~~~~~~~~~~~~~
compilation terminated.

examples/FakeAnalogWrite

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/FakeAnalogWrite/FakeAnalogWrite.ino:36:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/FakeAnalogWrite/FakeAnalogWrite.ino:47:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:78:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/FakeAnalogWrite/FakeAnalogWrite.ino:47:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:86:10: fatal error: hal/nrf_timer.h: No such file or directory
 #include "hal/nrf_timer.h"
          ^~~~~~~~~~~~~~~~~
compilation terminated.

examples/ISR_16_Timers_Array

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/ISR_16_Timers_Array/ISR_16_Timers_Array.ino:36:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/ISR_16_Timers_Array/ISR_16_Timers_Array.ino:47:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:78:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/ISR_16_Timers_Array/ISR_16_Timers_Array.ino:47:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:86:10: fatal error: hal/nrf_timer.h: No such file or directory
 #include "hal/nrf_timer.h"
          ^~~~~~~~~~~~~~~~~
compilation terminated.

examples/ISR_16_Timers_Array_Complex

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:36:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:47:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:78:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:47:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:86:10: fatal error: hal/nrf_timer.h: No such file or directory
 #include "hal/nrf_timer.h"
          ^~~~~~~~~~~~~~~~~
compilation terminated.

examples/SwitchDebounce

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:34:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:45:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:78:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:45:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:86:10: fatal error: hal/nrf_timer.h: No such file or directory
 #include "hal/nrf_timer.h"
          ^~~~~~~~~~~~~~~~~
compilation terminated.

examples/TimerInterruptLEDDemo

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/TimerInterruptLEDDemo/TimerInterruptLEDDemo.ino:29:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/TimerInterruptLEDDemo/TimerInterruptLEDDemo.ino:40:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:78:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/TimerInterruptLEDDemo/TimerInterruptLEDDemo.ino:40:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:86:10: fatal error: hal/nrf_timer.h: No such file or directory
 #include "hal/nrf_timer.h"
          ^~~~~~~~~~~~~~~~~
compilation terminated.

examples/TimerInterruptTest

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:28:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:39:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:78:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:39:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:86:10: fatal error: hal/nrf_timer.h: No such file or directory
 #include "hal/nrf_timer.h"
          ^~~~~~~~~~~~~~~~~
compilation terminated.

examples/multiFileProject

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:19:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/multiFileProject/multiFileProject.h:21:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:22:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:78:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/multiFileProject/multiFileProject.h:21:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:22:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:86:10: fatal error: hal/nrf_timer.h: No such file or directory
 #include "hal/nrf_timer.h"
          ^~~~~~~~~~~~~~~~~
compilation terminated.

arduino:megaavr:nona4809 @ 1.8.7

Inclusion

Result: FAIL

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /tmp/arduino-testlib2601085874/test/test.ino:1:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:78:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /tmp/arduino-testlib2601085874/test/test.ino:1:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:86:10: fatal error: hal/nrf_timer.h: No such file or directory
 #include "hal/nrf_timer.h"
          ^~~~~~~~~~~~~~~~~
compilation terminated.

examples/Argument_None

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/Argument_None/Argument_None.ino:29:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/Argument_None/Argument_None.ino:40:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:78:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/Argument_None/Argument_None.ino:40:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:86:10: fatal error: hal/nrf_timer.h: No such file or directory
 #include "hal/nrf_timer.h"
          ^~~~~~~~~~~~~~~~~
compilation terminated.

examples/Change_Interval

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/Change_Interval/Change_Interval.ino:29:2: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
 #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
  ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/Change_Interval/Change_Interval.ino:40:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:78:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/Change_Interval/Change_Interval.ino:40:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:86:10: fatal error: hal/nrf_timer.h: No such file or directory
 #include "hal/nrf_timer.h"
          ^~~~~~~~~~~~~~~~~
compilation terminated.

examples/FakeAnalogWrite

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/FakeAnalogWrite/FakeAnalogWrite.ino:36:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/FakeAnalogWrite/FakeAnalogWrite.ino:47:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:78:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/FakeAnalogWrite/FakeAnalogWrite.ino:47:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:86:10: fatal error: hal/nrf_timer.h: No such file or directory
 #include "hal/nrf_timer.h"
          ^~~~~~~~~~~~~~~~~
compilation terminated.

examples/ISR_16_Timers_Array

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/ISR_16_Timers_Array/ISR_16_Timers_Array.ino:36:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/ISR_16_Timers_Array/ISR_16_Timers_Array.ino:47:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:78:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/ISR_16_Timers_Array/ISR_16_Timers_Array.ino:47:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:86:10: fatal error: hal/nrf_timer.h: No such file or directory
 #include "hal/nrf_timer.h"
          ^~~~~~~~~~~~~~~~~
compilation terminated.

examples/ISR_16_Timers_Array_Complex

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:36:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:47:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:78:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:47:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:86:10: fatal error: hal/nrf_timer.h: No such file or directory
 #include "hal/nrf_timer.h"
          ^~~~~~~~~~~~~~~~~
compilation terminated.

examples/SwitchDebounce

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:34:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:45:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:78:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:45:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:86:10: fatal error: hal/nrf_timer.h: No such file or directory
 #include "hal/nrf_timer.h"
          ^~~~~~~~~~~~~~~~~
compilation terminated.

examples/TimerInterruptLEDDemo

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/TimerInterruptLEDDemo/TimerInterruptLEDDemo.ino:29:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/TimerInterruptLEDDemo/TimerInterruptLEDDemo.ino:40:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:78:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/TimerInterruptLEDDemo/TimerInterruptLEDDemo.ino:40:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:86:10: fatal error: hal/nrf_timer.h: No such file or directory
 #include "hal/nrf_timer.h"
          ^~~~~~~~~~~~~~~~~
compilation terminated.

examples/TimerInterruptTest

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:28:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:39:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:78:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:39:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:86:10: fatal error: hal/nrf_timer.h: No such file or directory
 #include "hal/nrf_timer.h"
          ^~~~~~~~~~~~~~~~~
compilation terminated.

examples/multiFileProject

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:19:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/multiFileProject/multiFileProject.h:21:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:22:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:78:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/multiFileProject/multiFileProject.h:21:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:22:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:86:10: fatal error: hal/nrf_timer.h: No such file or directory
 #include "hal/nrf_timer.h"
          ^~~~~~~~~~~~~~~~~
compilation terminated.

arduino:samd:mkrwifi1010 @ 1.8.12

Inclusion

Result: FAIL

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /tmp/arduino-testlib7153542/test/test.ino:1:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:78:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /tmp/arduino-testlib7153542/test/test.ino:1:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:86:10: fatal error: hal/nrf_timer.h: No such file or directory
 #include "hal/nrf_timer.h"
          ^~~~~~~~~~~~~~~~~
compilation terminated.

examples/Argument_None

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/Argument_None/Argument_None.ino:29:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/Argument_None/Argument_None.ino:40:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:78:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/Argument_None/Argument_None.ino:40:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:86:10: fatal error: hal/nrf_timer.h: No such file or directory
 #include "hal/nrf_timer.h"
          ^~~~~~~~~~~~~~~~~
compilation terminated.

examples/Change_Interval

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/Change_Interval/Change_Interval.ino:29:2: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
 #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
  ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/Change_Interval/Change_Interval.ino:40:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:78:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/Change_Interval/Change_Interval.ino:40:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:86:10: fatal error: hal/nrf_timer.h: No such file or directory
 #include "hal/nrf_timer.h"
          ^~~~~~~~~~~~~~~~~
compilation terminated.

examples/FakeAnalogWrite

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/FakeAnalogWrite/FakeAnalogWrite.ino:36:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/FakeAnalogWrite/FakeAnalogWrite.ino:47:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:78:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/FakeAnalogWrite/FakeAnalogWrite.ino:47:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:86:10: fatal error: hal/nrf_timer.h: No such file or directory
 #include "hal/nrf_timer.h"
          ^~~~~~~~~~~~~~~~~
compilation terminated.

examples/ISR_16_Timers_Array

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/ISR_16_Timers_Array/ISR_16_Timers_Array.ino:36:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/ISR_16_Timers_Array/ISR_16_Timers_Array.ino:47:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:78:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/ISR_16_Timers_Array/ISR_16_Timers_Array.ino:47:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:86:10: fatal error: hal/nrf_timer.h: No such file or directory
 #include "hal/nrf_timer.h"
          ^~~~~~~~~~~~~~~~~
compilation terminated.

examples/ISR_16_Timers_Array_Complex

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:36:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:47:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:78:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:47:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:86:10: fatal error: hal/nrf_timer.h: No such file or directory
 #include "hal/nrf_timer.h"
          ^~~~~~~~~~~~~~~~~
compilation terminated.

examples/SwitchDebounce

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:34:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:45:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:78:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:45:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:86:10: fatal error: hal/nrf_timer.h: No such file or directory
 #include "hal/nrf_timer.h"
          ^~~~~~~~~~~~~~~~~
compilation terminated.

examples/TimerInterruptLEDDemo

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/TimerInterruptLEDDemo/TimerInterruptLEDDemo.ino:29:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/TimerInterruptLEDDemo/TimerInterruptLEDDemo.ino:40:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:78:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/TimerInterruptLEDDemo/TimerInterruptLEDDemo.ino:40:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:86:10: fatal error: hal/nrf_timer.h: No such file or directory
 #include "hal/nrf_timer.h"
          ^~~~~~~~~~~~~~~~~
compilation terminated.

examples/TimerInterruptTest

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:28:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:39:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:78:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:39:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:86:10: fatal error: hal/nrf_timer.h: No such file or directory
 #include "hal/nrf_timer.h"
          ^~~~~~~~~~~~~~~~~
compilation terminated.

examples/multiFileProject

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:19:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/multiFileProject/multiFileProject.h:21:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:22:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:78:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/multiFileProject/multiFileProject.h:21:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:22:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:86:10: fatal error: hal/nrf_timer.h: No such file or directory
 #include "hal/nrf_timer.h"
          ^~~~~~~~~~~~~~~~~
compilation terminated.

esp32:esp32:d1_mini32 @ 1.0.6

Inclusion

Result: FAIL

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /tmp/arduino-testlib1557813602/test/test.ino:1:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:78:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /tmp/arduino-testlib1557813602/test/test.ino:1:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:86:27: fatal error: hal/nrf_timer.h: No such file or directory
compilation terminated.

examples/Argument_None

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/Argument_None/Argument_None.ino:29:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/Argument_None/Argument_None.ino:40:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:78:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/Argument_None/Argument_None.ino:40:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:86:27: fatal error: hal/nrf_timer.h: No such file or directory
compilation terminated.

examples/Change_Interval

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/Change_Interval/Change_Interval.ino:29:2: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
 #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
  ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/Change_Interval/Change_Interval.ino:40:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:78:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/Change_Interval/Change_Interval.ino:40:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:86:27: fatal error: hal/nrf_timer.h: No such file or directory
compilation terminated.

examples/FakeAnalogWrite

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/FakeAnalogWrite/FakeAnalogWrite.ino:36:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/FakeAnalogWrite/FakeAnalogWrite.ino:47:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:78:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/FakeAnalogWrite/FakeAnalogWrite.ino:47:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:86:27: fatal error: hal/nrf_timer.h: No such file or directory
compilation terminated.

examples/ISR_16_Timers_Array

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/ISR_16_Timers_Array/ISR_16_Timers_Array.ino:36:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/ISR_16_Timers_Array/ISR_16_Timers_Array.ino:47:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:78:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/ISR_16_Timers_Array/ISR_16_Timers_Array.ino:47:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:86:27: fatal error: hal/nrf_timer.h: No such file or directory
compilation terminated.

examples/ISR_16_Timers_Array_Complex

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:36:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:47:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:78:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:47:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:86:27: fatal error: hal/nrf_timer.h: No such file or directory
compilation terminated.

examples/SwitchDebounce

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:34:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:45:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:78:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:45:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:86:27: fatal error: hal/nrf_timer.h: No such file or directory
compilation terminated.

examples/TimerInterruptLEDDemo

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/TimerInterruptLEDDemo/TimerInterruptLEDDemo.ino:29:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/TimerInterruptLEDDemo/TimerInterruptLEDDemo.ino:40:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:78:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/TimerInterruptLEDDemo/TimerInterruptLEDDemo.ino:40:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:86:27: fatal error: hal/nrf_timer.h: No such file or directory
compilation terminated.

examples/TimerInterruptTest

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:28:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:39:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:78:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.h:40:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:39:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:86:27: fatal error: hal/nrf_timer.h: No such file or directory
compilation terminated.

examples/multiFileProject

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:19:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/multiFileProject/multiFileProject.h:21:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:22:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:78:4: error: #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
   #error This code is designed to run on nRF52-based Nano-33-BLE boards using mbed-RTOS platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/multiFileProject/multiFileProject.h:21:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:22:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/NRF52_MBED_TimerInterrupt/src/NRF52_MBED_TimerInterrupt.hpp:86:27: fatal error: hal/nrf_timer.h: No such file or directory
compilation terminated.