The following points clarify the virtualmips license:

virtualmips as a whole is released under the GNU General Public License

