The kernel is closed source but we have permission to use it and I think we we will soon have permission to distribute it.