A dumb question, doesn't Arduino has a built in mechanism to support third party boards and libraries? What do other hardware vendor do?