I have installed Arduino 1.8.8 on Windows 10 and installed the CP210X VCP Drivers. I changed the Preferences Sketchbook location in the Arduino IDE to the rokitarduinov1-0-9 location and restarted the program. I can see the rokitkit menus under File > Sketchbook, but the board does not show up under Tools > Board.

Help, Please. Thx.