> Gesendet: Samstag, 08. August 2020 um 13:48 Uhr
> Von: "felix" <[email protected]>

Hello tous,

> Dans un raspberry-pi (3), j'ai tapé (en root):
> 
>   # modprobe configs
>   # zcat /proc/config.gz | sed '/^[^#].*[Mm][Mm][Cc]/s/^/  /p;d'
>   CONFIG_CMDLINE="console=ttyAMA0,115200 kgdboc=ttyAMA0,115200 \
>                       root=/dev/mmcblk0p2 rootfstype=ext4 rootwait"
>   CONFIG_MMC=y
>   CONFIG_PWRSEQ_EMMC=y
>   CONFIG_MMC_BLOCK=y
>   CONFIG_MMC_BLOCK_MINORS=32
>   CONFIG_MMC_BCM2835_MMC=y
>   CONFIG_MMC_BCM2835_DMA=y
>   CONFIG_MMC_BCM2835_PIO_DMA_BARRIER=2
>   CONFIG_MMC_BCM2835_SDHOST=y
>   CONFIG_MMC_SDHCI=y
>   CONFIG_MMC_SDHCI_PLTFM=y
>   CONFIG_MMC_SPI=m
> 
> Si cela peut aider...

Merci Félix, mais maintenant cela fonctionne. Je suppose qu'un update côté 
Debian et Devuan a débloqué la chose, car hier j'ai constaté qu'avec l'image 
Debian nouvellement générée, j'avais des block devices mmcblk1* dans la shell 
d'initramfs. J'ai donc juste dû changer le fichier cmdline.txt pour que l'image 
boot. Ensuite j'ai également pu booter l'image Devuan nouvellement générée elle 
aussi, mais, très important pour un Raspberry 4, j'ai dû enlever de la boot 
commande le paramètre cma=64M...

Avec le fichier Vagrant suivant, j'obtiens une image Devuan Testing aarch64 qui 
boot mon Raspberry Pi 4B!
Le fichier de provisioning est également joint.

Bonne soirée et à une prochaine fois.


Tom

Attachment: gen_rpi4_image.sh
Description: Unix shell archive

Attachment: Vagrantfile
Description: Binary data

_______________________________________________
gull mailing list
[email protected]
https://forum.linux-gull.ch/mailman/listinfo/gull

Répondre à