Spetta lesto, qui si parla di linino, la libteria arduinica è altro discorso. Linino essendo un derivato di openwrt, a sua volta derivatovda linux, dovrà per firza essere open.
La libreria da installare sul 32u4 potrebbe essere closed, ma visto che parliamo di arduino sarà per forza open anch'essa
X mad, red hat è gratuita puoi scaricarla dal sito. Non mi risultano distribuzioni linux a pagamento, dovendo rilasciare per forza il codice che senso avrebbe farle pagare ? A pagamento è il supporto, sia fisico che come assistenza.