"embedded high end stuff (internet connected): go learn embedded linux and seperation kernels, so "
At the application level, as well as human capital management level, it is definitely true that more encapsulation (aka dumbing down) is needed. Starting up on cortex m chips isn't difficult for a competent embedded engineer but many times people less than struggle.
Here, tools like arduino present an attractive alternative. They have dumbed down the chips so much that pretty much anyone can use it.
I'm actually surprised that no OEM has taken the approach that 8051 ipcore vendors have some: they provide turn-key solutions that comes with a single purpose ide, libraries that perform 99 PCT of the targeted applications, and reference hardware designs.
This approach would have totally isolated the designer from the hardware.
Personally, going to a full blown OS like Linux is an overkill. A much simpler OS or heavy encapsulation would work.