Embedded ARM Development ecosystem choice question


I just recently started learning embedded arm developement. My choice is a cc1350 launchpad dev kit. I chose this mainly because of the ecosystem, like:

- Examples

- Documentation

- Training (Simplelink Academy)

- Support (through forums)

- Expandability (through boosterpacks)

- POSIX standard, etc

My other alternative is/was Infinenon with the xmc4800 dev kit.

I don't care which is best, They both have their pros and cons. But as far as the ecosystem is concerned (as described earlier) which one do you think is better suited for a beginner? How easy is to jump from one platform to another?

Do you have any other alternatives to propose? For example what do you think about the ARM Mbed platform?