Have a look at http://www.gnu.org/licenses/gpl-faq.html
Specially, you should read the "What legal issues come up if I use GPL-incompatible libraries with GPL software?" part.

Reggae being part of the OS, it shall be used by GPL stuff.