According to copyrights displayed by Samsung Wave S8500, it uses code from FreeBSD, NetBSD and OpenBSD.
Samsung Wave S8500の著作権表示画面によればBadaはFreeBSD、NetBSD、OpenBSDのコードを使用していることになっている。