Very minor nit here that might be costing a small amount of money for those who host the EC2 tar.xz files. When I download the Headers/Releases files for the 2024.1, the resulting files are not actually compressed. It looks like compression would get a 10x reduction on the headers file.
sbruno@desk:~$ wget https://opencpi-public.s3.us-east-2.amazonaws.com/prebuilt/2024.1-aarch64-headers.tar.xz
--2025-06-08 18:46:21-- https://opencpi-public.s3.us-east-2.amazonaws.com/prebuilt/2024.1-aarch64-headers.tar.xz
Resolving opencpi-public.s3.us-east-2.amazonaws.com (opencpi-public.s3.us-east-2.amazonaws.com)... 3.5.133.37, 3.5.132.182, 52.219.229.34, ...
Connecting to opencpi-public.s3.us-east-2.amazonaws.com (opencpi-public.s3.us-east-2.amazonaws.com)|3.5.133.37|:443... connected.
HTTP request sent, awaiting response... 200 OK
Length: 1445959680 (1.3G) [binary/octet-stream]
Saving to: ‘2024.1-aarch64-headers.tar.xz’
2024.1-aarch64-headers.tar.xz 100%[=====================================================================================================>] 1.35G 11.2MB/s in 2m 4s
2025-06-08 18:48:26 (11.1 MB/s) - ‘2024.1-aarch64-headers.tar.xz’ saved [1445959680/1445959680]
sbruno@desk:~$ file 2024.1-aarch64-headers.tar.xz
2024.1-aarch64-headers.tar.xz: POSIX tar archive (GNU)
sbruno@desk:~$ ls -l 2024.1-aarch64-headers.tar.xz
-rw-r--r-- 1 sbruno users 1445959680 Dec 23 14:46 2024.1-aarch64-headers.tar.xz
sbruno@desk:~$ mv 2024.1-aarch64-headers.tar.xz 2024.1-aarch64-headers.tar
sbruno@desk:~$ xz -z 2024.1-aarch64-headers.tar
sbruno@iwilcox-XPS-8940:~$ ls -l 2024.1-aarch64-headers.tar.xz
-rw-r--r-- 1 sbruno users 145611968 Dec 23 14:46 2024.1-aarch64-headers.tar.xz