How do I use Microduino (mCookie) on Linux?
First you will need the arduino 1.6.x package from updates, not the 1.0.x package from fedora. Then:


  You will be adding a URL to the new Additional Boards Manager URLs option: https://github.com/wasdpkj/Microduino-IDE-Support/raw/master/package_Microduino_index.json


source

This tutorial tells you where and how to add that URL to the preferences, as well as how to actually install the required support files.



As of this writing, the platform configuration supplied as part of the above won't work out of the box in Linux; you will also have to edit ~/.arduino15/packages/Microduino/hardware/avr/1.6.7/platform.txt to:


replace compiler.path={runtime.tools.avr-gcc.path}/bin/ with just compiler.path=/usr/bin/
on the line starting recipe.ar.pattern=, change {archive_file_path} to {build.path}/{archive_file}


Hopefully this will be fixed in future versions.



You probably also want to prevent ModemManager from probing the serial device with this udev rule, just replace the vendor and product IDs as appropriate:

SUBSYSTEM=="usb-serial", ATTRS{idVendor}=="xxxx", ATTRS{idProduct}=="xxxx", ENV{ID_MM_DEVICE_IGNORE}="1"