* [SDCC](http://sdcc.sourceforge.net/) compiler and source debugger
* [FreeRTOS](http://www.freertos.org/) kernel
* Licenses
- * The hardware is licensed under the TAPR OHL
- * The software is licensed GPL version 2
+ * The hardware is licensed under the TAPR [Open Hardware License](http://www.tapr.org/ohl.html)
+ * The software is licensed [GPL version 2](http://www.gnu.org/licenses/old-licenses/gpl-2.0.html)
## Problems ##