License question. Public source code is require if using openwrt?

Hi,
I have a question about GPL licensing of OpenWrt.
If a vendor embed openwrt on their product firmware, do they have to public the firmware source code as well? What I can do/ what will happen if they refuse to public the source code.
Thanks in advance.