Exactly, there are no other FOSS kernels using GPL nowadays, the Linux kernel was the first and last one with commercial success.