Raspberry Pi OS uses since 2022-04-07 .xz instead of .zip for their images.
In addition the current RT patch now has 3 digits in version name. But in the dockerfile the wrong patch will be detected.
These commits downloads and extract the new Raspberry Pi OS images and sorts the list of RT patches correct.
Raspberry Pi OS uses since 2022-04-07 .xz instead of .zip for their images. In addition the current RT patch now has 3 digits in version name. But in the dockerfile the wrong patch will be detected. These commits downloads and extract the new Raspberry Pi OS images and sorts the list of RT patches correct.