I was more meaning just the kernel… The gpl specifically states that kernel sources must be made public