AIUI Bada is a pluggable kernel architecture, so yes, can have a Linux core (or at least the Samsung Bada docs claim so). Okay, so how about oses-and-applications-mostly-related-to-the-nokia-NIT-line-including-but-not-limited-to-Maemo-Harmattan-MeeGo-or-competing-devices-running-derivatives-of-these.org ? I mean, we can go all nitpicky, I just don't see why MeeGo is the place where you draw the line.