I was under the impression that the released sources for the kernel are not complete (they are missing critical features), but I'm not sure whether or not this is the case with the repos you linked. To be clear, you still need proprietary software to compile it (so it's not practically free under the FSF definition).
Much of the operating system is proprietary, but I didn't think the kernel or HFS+ filesystem were included in that.