RAINBOF: v mikrosoftu se snazili a windows 10 for IOT na maline jede taky (ale pry je to opruz - dle jinych, ja bych na to klackem nesah).
a pokud vim, tak raspberry pi foundation se snazi udelat opensourcovy firmware, nezavisle na broadcomu, mozna to je to co jsi nasel na githubu