Installing Microduino Boards Using Arduino Boards Manager
From Microduino Wiki
This guide will show how to install the Microduino board definitions, libraries and examples to the official Arduino IDE using the Boards Manager features.
Driver Installation
Microduino boards uses various drivers to be able to communicate and program the different Core modules. The two drivers that need to be installed are the FTDI VCP drivers and CH341 driver.
FTDI VCP
Most of the core modules will require the FTDI Virtual COM port drivers.
The latest drivers can be found on the official FTDI website here: http://www.ftdichip.com/Drivers/VCP.htm
CH341
This driver is required for the mCookie mBattery module.