Also on https://developer.mozilla.org/en-US/Firefox_OS which is the main page for Firefox OS development, in the very first phrase they say "Firefox OS is open source"
If you use the boot2gecko source, you can ship whatever you want no obligations. If you want to call it Firefox OS then you need to enter a branding agreement with Mozilla. Boot2gecko is Firefox OS sans branding.
Also on https://developer.mozilla.org/en-US/Firefox_OS which is the main page for Firefox OS development, in the very first phrase they say "Firefox OS is open source"
If you use the boot2gecko source, you can ship whatever you want no obligations. If you want to call it Firefox OS then you need to enter a branding agreement with Mozilla. Boot2gecko is Firefox OS sans branding.