В сообществе разработчиков FreeBSD нашёлся человек по имени Александр Тимошенко, который взялся сделать так, чтобы FreeBSD загружалась и нормально работала на Raspberry Pi.
Вот его блог:
http://kernelnomicon.org/Raspberry Pi — это система-на-чипе, где важную роль играет встроенное программное обеспечение: без знания внутренностей системы не получится сделать ни драйвер видео, ни USB, ни Ethernet. Собственно, эта штука даже начинает загрузку с GPU-чипа, который включает CPU, включает SD-карточку, считывает загрузчик с первого раздела и передаёт ему управление на CPU.
GPU-прошивка для RPi — это проприетарный софт для процессора с неизвестной системой команд, собранный неизвестным компоновщиком; а линуксовые драйверы видеокарты и всего такого поставлялись в виде блобов. Теперь, видя заметный интерес к платформе со стороны FreeBSDшников и всех остальных, Broadcom открывает исходники GPU-дров:
http://www.raspberrypi.org/archives/2221А FreeBSDшники немедленно делают поддержку RPi приоритетом 10-й версии:
http://wiki.freebsd.org/WhatsNew/FreeBSD10одновременно приводя в порядок поддержку ARMа в юзерленде (она вроде в каком-то виде была, но слегка подзаброшена).
Гипервизор для x86, тем самым, откладывается на будущее. Выходит и так слишком много всего нового для десятой версии, а тут ещё переход на clang, который многое сломает в портах; плюс
GNU-free C++ stack, да ещё и сразу с поддержкой C++11.
В BSDшном лагере все счастливы и довольны, а особенно выигрывает Broadcom — их основной рынок сбыта — это производители всяких встраиваемых железок, которые находятся в состоянии
риска попадания под каток копирайтных троллей. Хеджируя легальные риски своих клиентов, Broadcom снижает риск внезапного обвала своей bottom line, так что не надо думать, что релиз исходников GPU-дров для RPi — это какой-то альтруизм, или что выбор лицензии для этого релиза имеет случайный характер.
А вот линуксята всё равно чем-то недовольны, на этот раз отсутствием исходников для GPU-прошивки:
http://www.phoronix.com/scan.php?page=news_item&px=MTIxNDk