Anyone know what software/OS Mikrotik devices run?

Which is Linux based, yet Mikrotik seems somewhat reluctant to honor the spirit of the GPL...