Not working on Teensy

[git2212]

Hi,

I tried this library on a Teensy 3.2 board, it doesn't seem to be working properly, I get the following output:

Board used: Unknown
SDK Version is: 10611
This Unknown is an 0-bit, 96Mhz processor with 0k of SRAM and 0k of flash.

... the code which generates the above is listed here.

unsigned long M = 1000000;
unsigned int k = 1000;

Serial.begin(9600);

while(!Serial); // on Leonardo/Micro, wait for serial

// The Arduino board name
Serial.print("Board used: ");
Serial.println(arduino.BOARD_NAME);
// the Arduino SDK version
Serial.print("SDK Version is: ");
Serial.println(ArduinoBoardManager::SDK_VERSION);
// The processor features (RAM, speed, etc)
Serial.print("This "); Serial.print(arduino.BOARD_NAME);
Serial.print(" is an "); Serial.print(ArduinoBoardManager::NUM_BITS);
Serial.print("-bit, "); Serial.print(ArduinoBoardManager::MAX_MHZ/M);
Serial.print("Mhz processor with "); Serial.print(ArduinoBoardManager::SRAM_SIZE/k);
Serial.print("k of SRAM and "); Serial.print(ArduinoBoardManager::FLASH_SIZE/k);
Serial.println("k of flash.");
Serial.println();