This is an old revision of the document!
The Digilent Core is a plugin for the Arduino development environment that provides support for Digilent hardware platforms.