I wouldn’t consider Android a fork, the differences at the kernel level aren’t unlike differences you might find on embedded devices. It mainly just has the Google software suite instead of GNU

Also the PS4/5 run on freebsd

But that’s not what is being compared