That's been speculated, but there's no evidence for it. It uses a very similar chipset to Nvidia's Android-based Shield, which is where the rumor comes from.

More likely reskin Android than BSD. Minimum Linux kernel.