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/