Есть ли у raspberry pi 1/2 что-то вроде биоса, post?

Не должно ничего быть. Там есть светодиодики. То, как они светятся говорит о состоянии.

И как они должни светиться? pwr led - просто гореть, act - мигать? fdx, lnk, 100 - не гореть?

Без карты памяти, конечно.

Хотя, пишут, что act - это индикация доступа к карте памити, так что не должен быть активным.

И как они должни светиться? pwr led - просто гореть, act - мигать? fdx, lnk, 100 - не гореть?

Воткнул B+ счас в сеть, вынул флешку и все кабели предварительно - act и pwr просто горят зелёным у меня. Вставил флешку, включил - act мигает ещё. Видимо, если вставить Ethernet кабель, для него норм светиться.
P.S. Нормально её проверить пойдёт microsd на 2Гиг из магазинчика с б/у телефонами, рублей за 1-1.5$.

Если подключить raspberry без карты памяти к монитору и подать питание, на экране будет что-то показано?

RPi принципиально невозможно забутать без карты памяти, т.к там инициализация железа там происходит через прошивку GPU которой на самой малинке нет.

Вообще в интерентах есть история успеха запуска rpi3 с usb без sd, но там требуется шаманство с паяльником и программатором. В более старых версиях и такого нет.

инициализация железа там происходит через прошивку GPU которой на самой малинке нет.

Сегодня, кстати, этот загрузчик, вроде бы, стал open source. А был блоб.

Открыли только ту часть загрузчика что работает на стророне ARM ядра и открыли кое-какую документацию. А вот чтобы загрузить линукс пока ещё нужен блоб для видеоядра которое и производит самую важную часть инициализации SOC.

Как раз пару дней назад проскакивала новость об открытой замене этому кода, но она пока очень экспериментальная и на допиливание уйдут месяцы:

https://github.com/christinaa/rpi-open-firmware

Как раз пару дней назад проскакивала новость об открытой замене этому кода, но она пока очень экспериментальная и на допиливание уйдут месяцы:

Я об этом коде и говорю. Его только вчера выложили на github.
И читал я не новости, а первоисточники.Т.е. автора кода.

нет, я всё понимаю...
но так извратить, простую, в общем-то, задачу запуска процессора с материнкой.

вот сейчас посмотрел на трубе ролики про Sun IPC and IPX, Ultra 450... там еще с 80х тянется ОпенБут , как и бивис с ИБМках.

Но чтобы запускать компьютер через видеократу... нда.

там еще с 80х тянется ОпенБут , как и бивис с ИБМках.

О каких ИБМках речь?

ibm pc

еще в телефонах модем иниц. загрузку

вообще в ембеддед все низкоуровневое делается по принципу «каждый дрочит как хочет»

ibm pc

И когда это он стал открытым?

В Intel x86 тоже есть скрытое ядро архитектуры ARC. На этом ядре работает отдельная RTOS.
И так уже давно.

Получается, что в rpi1 внутри есть какой-то загрузчик, раз для запуска нужно всего лишь отформатировать sd карту в fat16 и скопировать https://github.com/raspberrypi/firmware/tree/master/boot

Это же подразумевает программу, которая понимает fat16/файлы-символические имена. Я думал, там jmp по адресу.

Это ты с Allwinner перепутал. Там в ROM прошит тупейший загрузчик (читабельный и соответсвенно не секретный) в 32 килобайта, который ищет 24/32 килобайта с правильным заголовком в начале диска (обычно это SPL от u-boot) на SD Card0, NAND FLASH, SD Card2, и наконец на SPI NOR FLASH. Если пин BSP на землю посадить, то на USB флешке будет искать. Ну и передаёт управление загруженному коду (jmp по адресу).

В Rpi всё значительно черезжопнее, там в ROM сидит хрень которая работает в GPU и грузит код для GPU который инициализирует ARM, потом грузит загрузчик для ARM и только потом всё начинается.

Я ожидал, что у rpi очень простой загрузчик = простой драйвер sdcard, поддерживающий только команду считывания блоков + команда считывания блоков по адресу из sdcard + копирование их в озу + jmp на стартовый адрес. Но простым копированием файлов в fat16, по-моему, нельзя обеспечить стабильность адресов блоков.

который ищет 24/32 килобайта с правильным заголовком в начале диска

Хорошая идея, чтобы упростить реализацию fat в загрузчике - искать по magic, а не по имени.

Это ты с Allwinner перепутал. Там в ROM прошит тупейший загрузчик (читабельный и соответсвенно не секретный)

А почему, если загрузчик открыт и все так просто, уже полгода проблемы с spi через dma на кубиборде? Или этот простой загрузчик загружает сложный закрытый загрузчик-инициализатор, как и в случае с rpi?

А почему, если загрузчик открыт и все так просто, уже полгода проблемы с spi через dma на кубиборде?

А это надо спросить у тех кто ядерный драйвер SPI для Allwinner ковыряет, если вообще кто-то ковыряет. Загрузчик тут совершенно не при чём, ему SPI c DMA до лампочки.

Или этот простой загрузчик загружает сложный закрытый загрузчик-инициализатор, как и в случае с rpi?

Загружать он может что угодно, в случае линуксов для Allwinner'ов он загружает u-boot.

Впрочем, по-любому с Allwinner'ом неразрешимых проблем значительно меньше чем с Rpi. Один звук из жопы на Rpi чего стоит, уж не говоря о сети исключительно через USB.