Yes my phone does run samsungOS but it also runs the android kernel. We generalize when we say “android” the same as we generalize when we call all linux distros “linux”