One of the more interesting side-effects of this is that, because the Arduino libraries were written by someone else, no-one involved in the project had any experience of porting them to a completely new architecture. As AVR has gradually become slow, outdated and expensive, this has had the result that unofficial Arduino-compatible boards like Teensy are often better ports than the newer official boards.