Hacker News Reader

But they wouldn't be able to call it FirefoxOS. The source may be open but the brand & trademark certainly aren't.

Yeah, I think you're correct. They'd have to remove all Firefox branding/advertising if they went against Mozilla's wishes.