[devel-sbc] regular-server.iso для Raspberry Pi 3 (4)

[devel-sbc] regular-server.iso для Raspberry Pi 3 (4)

[Антон Мидюков]

Доброго времени суток

Продолжил свои эксперименты с EFI для Raspberry Pi. Начало здесь:

https://lists.altlinux.org/pipermail/devel-sbc/2020-January/000068.html

EFI, о котором я писал в прошлом письме, позволяет загружать гибридные 
ISO образы, записанные на USB-накопитель.

Для того, чтобы ISO образ смог загрузиться, потребовалось добавить в 
STAGE1 модули ядра: bcm2835.ko, dwc2.ko, xhci-plat-hcd.ko

За компанию я добавил ещё некоторое множество модулей ядра, связанных с 
USB. Так что, если у кого-то есть, например, одноплатник с Rockchip 
RK3399 и EFI для него, попробуйте загрузиться. Исходники, вроде есть:

https://github.com/jeffchenfz/Rockchip

ISO образы в снапшоте от 20200213 поддерживают загрузку и установку на 
RPi. Это: jeos-systemd, lxqt, rescue.

И наконец я собрал regular-server-systemd.iso:

http://nightly.altlinux.org/sisyphus-aarch64/alpha/regular-server-systemd-20200214-aarch64.iso

Это полноценный regular-server, всё как в стартерките. Ядро std-def 
5.4.19. Так как с графикой всё плохо, то может в качестве сервера можно 
использовать третью малину. Пробуйте.

На Raspberry Pi 4 сборки также можно установить, но так как ни wi-fi, ни 
ethernet не работают, смысла в этом нет никакого. К тому же доступно 
максимум 3 ГБ. EFI для RPi4 совсем сырое.

**** Особенности установки ****

1. ISO образы можно установить на SD-карту только для Raspberry Pi 3. В 
этом случае выбирайте ручную разметку диска. Раздел с fat на SD-карте 
монтируйте как /boot/efi Ни в коем случае не форматируйте этот раздел, 
на нём находится EFI.

2. При установке загрузчика выберите пункт "EFI (для съёмных 
устройств)". У Raspberry нет NVRAM, запись в его эмуляцию делается, но 
живёт только до перезагрузки :-)

3. При загрузке с live, чтобы был русский язык в grub нужно нажать E и 
дописать в cmdline:

lang=RU_ru

и нажать ctrl+x

Ориентируйтесь на слово splash, которое лучше удалить (plymouth не работает)

-- 
С уважением, Антон Мидюков <antohami@altlinux.org>

Re: [devel-sbc] regular-server.iso для Raspberry Pi 3 (4)

[Alexey V. Vissarionov]

On 2020-02-14 23:55:52 +0700, Антон Мидюков wrote:

 > Для того, чтобы ISO образ смог загрузиться, потребовалось
 > добавить в STAGE1 модули ядра: bcm2835.ko, dwc2.ko, xhci-plat-hcd.ko
 > За компанию я добавил ещё некоторое множество модулей
 > ядра, связанных с USB. Так что, если у кого-то есть,
 > например, одноплатник с Rockchip RK3399 и EFI для него, попробуйте
 > загрузиться.

Насколько принципиально было разломать заведомо рабочую конфигурацию
ядра, а потом страдать от этого?

 > На Raspberry Pi 4 сборки также можно установить, но так как ни
 > wi-fi, ни ethernet не работают, смысла в этом нет никакого. К
 > тому же доступно максимум 3 ГБ. EFI для RPi4 совсем сырое.

Да и проблема с 3 Гб в общем-то давно решена...

 > 2. При установке загрузчика выберите пункт "EFI (для съёмных
 > устройств)". У Raspberry нет NVRAM, запись в его эмуляцию делается,
 > но живёт только до перезагрузки :-)

А подключить 2532 кто-нибудь пробовал?


-- 
Alexey V. Vissarionov
gremlin ПРИ altlinux ТЧК org; +vii-cmiii-ccxxix-lxxix-xlii
GPG: 0D92F19E1C0DC36E27F61A29CD17E2B43D879005 @ hkp://keys.gnupg.net

Re: [devel-sbc] regular-server.iso для Raspberry Pi 3 (4)

[Антон Мидюков]

17.02.2020 14:46, Alexey V. Vissarionov пишет:
> On 2020-02-14 23:55:52 +0700, Антон Мидюков wrote:
>
>   > Для того, чтобы ISO образ смог загрузиться, потребовалось
>   > добавить в STAGE1 модули ядра: bcm2835.ko, dwc2.ko, xhci-plat-hcd.ko
>   > За компанию я добавил ещё некоторое множество модулей
>   > ядра, связанных с USB. Так что, если у кого-то есть,
>   > например, одноплатник с Rockchip RK3399 и EFI для него, попробуйте
>   > загрузиться.
>
> Насколько принципиально было разломать заведомо рабочую конфигурацию
> ядра, а потом страдать от этого?
Я ничего не ломал. В сборке ядро std-def. Загрузиться с ядрами rpi у 
меня не получалось.
>
>   > На Raspberry Pi 4 сборки также можно установить, но так как ни
>   > wi-fi, ни ethernet не работают, смысла в этом нет никакого. К
>   > тому же доступно максимум 3 ГБ. EFI для RPi4 совсем сырое.
>
> Да и проблема с 3 Гб в общем-то давно решена...

Это на уровне EFI проблема. Оно собрано с ACPI вместо dtb. Если ACPI 
выключить при сборке, USB не доступно. А с micro-sd карты ядра грузиться 
не хотят.

Возможно, в ядре 5.5 стало лучше. Я его не попробовал ещё.

>   > 2. При установке загрузчика выберите пункт "EFI (для съёмных
>   > устройств)". У Raspberry нет NVRAM, запись в его эмуляцию делается,
>   > но живёт только до перезагрузки :-)
>
> А подключить 2532 кто-нибудь пробовал?
2532 - это?

-- 
С уважением, Антон Мидюков <antohami@altlinux.org>

Re: [devel-sbc] regular-server.iso для Raspberry Pi 3 (4)

[Nikolai Kostrigin]

17.02.2020 10:55, Антон Мидюков пишет:
> 17.02.2020 14:46, Alexey V. Vissarionov пишет:
>>
>> А подключить 2532 кто-нибудь пробовал?
> 2532 - это?
>
Рискну предположить, - микросхема Flash-памяти с интерфейсом SPI серии
25fXX...

-- 
Best regards,
Nikolai Kostrigin

Re: [devel-sbc] regular-server.iso для Raspberry Pi 3 (4)

[Антон Мидюков]

17.02.2020 15:07, Nikolai Kostrigin пишет:
> 17.02.2020 10:55, Антон Мидюков пишет:
>> 17.02.2020 14:46, Alexey V. Vissarionov пишет:
>>> А подключить 2532 кто-нибудь пробовал?
>> 2532 - это?
>>
> Рискну предположить, - микросхема Flash-памяти с интерфейсом SPI серии
> 25fXX...
А кто-нибудь в edk2-platform сделал уже pull-reqest с поддержкой этой 
микросхемы для Raspberry? Также было бы здорово, чтобы можно было 
подключить RTC и их EFI увидело. Но там такой поддержки нет, насколько я 
знаю.

-- 
С уважением, Антон Мидюков <antohami@altlinux.org>

Re: [devel-sbc] regular-server.iso для Raspberry Pi 3 (4)

[Alexey V. Vissarionov]

On 2020-02-17 11:07:09 +0300, Nikolai Kostrigin wrote:

 >>> А подключить 2532 кто-нибудь пробовал?
 >> 2532 - это?
 > Рискну предположить, - микросхема Flash-памяти с интерфейсом SPI
 > серии 25fXX...

... объемом 8 Мб (32 Мбит). Самая популярная в этом семействе.


-- 
Alexey V. Vissarionov
gremlin ПРИ altlinux ТЧК org; +vii-cmiii-ccxxix-lxxix-xlii
GPG: 0D92F19E1C0DC36E27F61A29CD17E2B43D879005 @ hkp://keys.gnupg.net

Re: [devel-sbc] regular-server.iso для Raspberry Pi 3 (4)

[Alexey V. Vissarionov]

On 2020-02-17 15:12:21 +0700, Антон Мидюков wrote:

 >>>> А подключить 2532 кто-нибудь пробовал?
 >>> 2532 - это?
 >> Рискну предположить, - микросхема Flash-памяти с интерфейсом
 >> SPI серии 25fXX...
 > А кто-нибудь в edk2-platform сделал уже pull-reqest с поддержкой
 > этой микросхемы для Raspberry?

Оно по SPI подключается - вся поддержка уже есть.

 > Также было бы здорово, чтобы можно было подключить RTC

Можно, разрешаю. Если что, у меня DS1338 работает после
echo ds1307 0x68 > /sys/class/i2c-adapter/i2c-1/new_device

 > и их EFI увидело.

Зачем?

 > Но там такой поддержки нет, насколько я знаю.

Где, в EFI? И не надо.


-- 
Alexey V. Vissarionov
gremlin ПРИ altlinux ТЧК org; +vii-cmiii-ccxxix-lxxix-xlii
GPG: 0D92F19E1C0DC36E27F61A29CD17E2B43D879005 @ hkp://keys.gnupg.net

Re: [devel-sbc] regular-server.iso для Raspberry Pi 3 (4)

[Антон Мидюков]

17.02.2020 15:25, Alexey V. Vissarionov пишет:
> On 2020-02-17 15:12:21 +0700, Антон Мидюков wrote:
>
>   >>>> А подключить 2532 кто-нибудь пробовал?
>   >>> 2532 - это?
>   >> Рискну предположить, - микросхема Flash-памяти с интерфейсом
>   >> SPI серии 25fXX...
>   > А кто-нибудь в edk2-platform сделал уже pull-reqest с поддержкой
>   > этой микросхемы для Raspberry?
>
> Оно по SPI подключается - вся поддержка уже есть.
В ОС, но не edk2
>   > Также было бы здорово, чтобы можно было подключить RTC
>
> Можно, разрешаю. Если что, у меня DS1338 работает после
> echo ds1307 0x68 > /sys/class/i2c-adapter/i2c-1/new_device
>
>   > и их EFI увидело.
>
> Зачем?

Затем, чтобы не нужно было делать в ОС:

echo ds1307 0x68 > /sys/class/i2c-adapter/i2c-1/new_device

-- 
С уважением, Антон Мидюков <antohami@altlinux.org>

Re: [devel-sbc] regular-server.iso для Raspberry Pi 3 (4)

[Alexey V. Vissarionov]

On 2020-02-17 15:46:55 +0700, Антон Мидюков wrote:

 >>> Также было бы здорово, чтобы можно было подключить RTC
 >> Можно, разрешаю. Если что, у меня DS1338 работает после
 >> echo ds1307 0x68 > /sys/class/i2c-adapter/i2c-1/new_device
 >>> и их EFI увидело.
 >> Зачем?
 > Затем, чтобы не нужно было делать в ОС:
 > echo ds1307 0x68 > /sys/class/i2c-adapter/i2c-1/new_device

ГВ: dtoverlay=i2c-rtc,ds1307


-- 
Alexey V. Vissarionov
gremlin ПРИ altlinux ТЧК org; +vii-cmiii-ccxxix-lxxix-xlii
GPG: 0D92F19E1C0DC36E27F61A29CD17E2B43D879005 @ hkp://keys.gnupg.net

Re: [devel-sbc] regular-server.iso для Raspberry Pi 3 (4)

[Антон Мидюков]

17.02.2020 15:49, Alexey V. Vissarionov пишет:
> On 2020-02-17 15:46:55 +0700, Антон Мидюков wrote:
>
>   >>> Также было бы здорово, чтобы можно было подключить RTC
>   >> Можно, разрешаю. Если что, у меня DS1338 работает после
>   >> echo ds1307 0x68 > /sys/class/i2c-adapter/i2c-1/new_device
>   >>> и их EFI увидело.
>   >> Зачем?
>   > Затем, чтобы не нужно было делать в ОС:
>   > echo ds1307 0x68 > /sys/class/i2c-adapter/i2c-1/new_device
>
> ГВ: dtoverlay=i2c-rtc,ds1307

При загрузке в режиме EFI, сколько я не пробовал вписывать в config.txt 
dtoverlay=такой-то, или прописывать другой dtb, в загруженной ОС 
devicetree не менялось.

Вы пробовали грузиться с edk2? Или это всё советы с прямой загрузкой ядра?

-- 
С уважением, Антон Мидюков <antohami@altlinux.org>

Re: [devel-sbc] regular-server.iso для Raspberry Pi 3 (4)

[Alexey V. Vissarionov]

On 2020-02-17 16:04:09 +0700, Антон Мидюков wrote:

 >>>>> Также было бы здорово, чтобы можно было подключить RTC
 >>>> Можно, разрешаю. Если что, у меня DS1338 работает после
 >>>> echo ds1307 0x68 > /sys/class/i2c-adapter/i2c-1/new_device
 >>>>> и их EFI увидело.
 >>>> Зачем?
 >>> Затем, чтобы не нужно было делать в ОС:
 >>> echo ds1307 0x68 > /sys/class/i2c-adapter/i2c-1/new_device
 >> ГВ: dtoverlay=i2c-rtc,ds1307
 > При загрузке в режиме EFI, сколько я не пробовал вписывать в
 > config.txt dtoverlay=такой-то, или прописывать другой dtb, в
 > загруженной ОС devicetree не менялось.

config.txt - это для start.elf (start4.elf и прочее проприетарное
говнище от Broadcom). Увы, мы вряд ли от него куда-то денемся, и
оптимальным вариантом мне видится его использование. Уже потому,
что оно заведомо работает.

 > Вы пробовали грузиться с edk2?

Пока оно не унифицировано хотя бы для десятка разных SoC - я не
вижу в этом особого смысла. По аналогичной причине мне очень не
нравится малина как таковая: на ней используется USB-контроллер
VL805, для которого нет PCI quirk в апстримном ядре.

 > Или это всё советы с прямой загрузкой ядра?

Разумеется.


-- 
Alexey V. Vissarionov
gremlin ПРИ altlinux ТЧК org; +vii-cmiii-ccxxix-lxxix-xlii
GPG: 0D92F19E1C0DC36E27F61A29CD17E2B43D879005 @ hkp://keys.gnupg.net

Re: [devel-sbc] regular-server.iso для Raspberry Pi 3 (4)

[Антон Мидюков]

17.02.2020 16:04, Антон Мидюков пишет:
> 17.02.2020 15:49, Alexey V. Vissarionov пишет:
>> On 2020-02-17 15:46:55 +0700, Антон Мидюков wrote:
>>
>>   >>> Также было бы здорово, чтобы можно было подключить RTC
>>   >> Можно, разрешаю. Если что, у меня DS1338 работает после
>>   >> echo ds1307 0x68 > /sys/class/i2c-adapter/i2c-1/new_device
>>   >>> и их EFI увидело.
>>   >> Зачем?
>>   > Затем, чтобы не нужно было делать в ОС:
>>   > echo ds1307 0x68 > /sys/class/i2c-adapter/i2c-1/new_device
>>
>> ГВ: dtoverlay=i2c-rtc,ds1307
>
> При загрузке в режиме EFI, сколько я не пробовал вписывать в 
> config.txt dtoverlay=такой-то, или прописывать другой dtb, в 
> загруженной ОС devicetree не менялось.
>
Выяснил, что это я сам себе создал проблему на ровном месте. В Readme 
написано же:

Seems to be completely discarded by GPU when booting with a custom
device tree. - GPU-passed hardware configuration.

А я на это не обратил внимание. Так что необходимо под каждую плату 
собирать свой EFI с dtb под неё, и тогда можно использовать оверлеи. 
Т.е. удаляем из config.txt:

device_tree_address=0x20000
device_tree_end=0x30000
device_tree=bcm2711-rpi-4-b.dtb

И добавляем:

dtoverlay=vc4-fkms-v3d
gpu_mem=128
disable_overscan=1
ignore_lcd=1
display_default_lcd=0
hdmi_force_hotplug=1
max_frambuffers=2
framebuffer_priority=2

Опции взяты из:

https://www.altlinux.org/Ports/aarch64/Raspberry_Pi4#Процесс_загрузки

Только размер памяти 128 МБ поставил. По крайней мере, переключение в 
нормальный графический режим происходит и на RPi4 и на RPi3. Одной 
проблемой меньше.

-- 
С уважением, Антон Мидюков <antohami@altlinux.org>

Re: [devel-sbc] regular-server.iso для Raspberry Pi 3 (4)

[Антон Мидюков]

19.02.2020 20:07, Антон Мидюков пишет:

...
> Так что необходимо под каждую плату собирать свой EFI с dtb под неё, и 
> тогда можно использовать оверлеи.

В Readme была не актуальная информация. edk2 для RPi 3 содержит dtb для 
обеих плат:

https://github.com/tianocore/edk2-platforms/commit/7da906bfcd0373b687fb5d0350c21133ffcd748f

Так что собирать два отдельных EFI для 3B и 3B+ не требуется. Но, 
возможно, стоит обновить сами dtb при сборке edk2-rpi.

-- 
С уважением, Антон Мидюков <antohami@altlinux.org>

Re: [devel-sbc] regular-server.iso для Raspberry Pi 3 (4)

[Pavel Isopenko]

Доброго.

14.02.2020 19:55, Антон Мидюков пишет:
> в качестве сервера можно использовать третью малину. Пробуйте

Побовал на RPi3B с 1Гб памяти. У меня всё получилось. Вообще такое 
впечатление что regular-server-systemd.iso в сочетании с EFI на сегодня 
самый перспективный вариант в теме "серверные решения для SBC".
Имея в виду поднять из экспериментальных до рабочего, хорошо бы решить 
проблему с графическим режимом при установке чтобы родное разрешение 
определялось. И, в итоге, собрать на стабильной ветке.

Если получится, с ходу вижу три направления практического использования:
- инфраструктурный сервер для малого или домашнего офиса;
- сервер умного дома;
- учебное пособие, средство организации лабораторных работ.

-- 
С уважением, Павел Исопенко
+79165329582
email: pauli@altlinux.org
XMPP: pavelri@jabber.credoaudit.ru

Re: [devel-sbc] regular-server.iso для Raspberry Pi 3 (4)

[Антон Мидюков]

03.03.2020 15:44, Pavel Isopenko пишет:
> Доброго.
Добрый день!
>
> 14.02.2020 19:55, Антон Мидюков пишет:
>> в качестве сервера можно использовать третью малину. Пробуйте
>
> Побовал на RPi3B с 1Гб памяти. У меня всё получилось. Вообще такое 
> впечатление что regular-server-systemd.iso в сочетании с EFI на 
> сегодня самый перспективный вариант в теме "серверные решения для SBC".
> Имея в виду поднять из экспериментальных до рабочего, хорошо бы решить 
> проблему с графическим режимом при установке чтобы родное разрешение 
> определялось. И, в итоге, собрать на стабильной ветке.

Стартеркиты в формате ISO (мартовские) будут поддерживать установку на 
RPi3 и RPi4.

Эта проблема решается строчкой в config.txt:

disable_overscan=1

Видимо, Вы не скачали обновлённый zip-архив: RPi_EFI.zip

В принципе после установки, можно также перейти на u-boot, он 
поддерживает загрузку в режиме EFI. Может будет с ним лучше работать.

5 числа будет бета стартеркитов. К этому времени обновлю RPi_EFI.zip ещё 
раз. И можно будет пробовать.

>
> Если получится, с ходу вижу три направления практического использования:
> - инфраструктурный сервер для малого или домашнего офиса;
> - сервер умного дома;
> - учебное пособие, средство организации лабораторных работ.

Тут нужна конкретика, что добавить, какие группы пакетов.

И совсем хорошо будет, когда EFI для RPi4 станет более дееспособным.

-- 
С уважением, Антон Мидюков <antohami@altlinux.org>