How? Libraries are all open source by the community. Arduino AVR doesn't need proprietary microcode to boot= and run.

Last Arduino I worked with is one of those ARMs that pretend they're an AVR, for example.