Raspberry & Cie Booter une Debian sur un pi4 sur un disque dur externe mars 16 Comment faire démarrer une debian ARM 64 sur un Raspberry Pi 4 depuis un disque dur externe https://michael.parienti.net/posts/2021/03/16/booter-en-arm64-sur-un-disque-externe-son-raspberrypi4/