Without getting into the legalities, that's not a problem. Empirically, you can see there is plenty of trademarked software in the world and plenty of communities focused on trademarked software. Second , we know as a practical matter that Nokia is not going to send a C&D to maemo.org.