writestring("[COLOR="#FF0000"]PJRC[/COLOR]"); // Manufacturer
writestring("[COLOR="#FF0000"]Teensy[/COLOR]"); // Model
writestring("[COLOR="#FF0000"]1.0[/COLOR]"); // version
writestring("[COLOR="#FF0000"]???[/COLOR]"); // serial
void GetDevicePropValue(uint32_t prop) {
switch (prop) {
case 0xd402: // friendly name
// This is the name we'll actually see in the windows explorer.
// Should probably be configurable.
writestring("[COLOR="#FF0000"]Teensy[/COLOR]");
break;
}
}