Latest release not available for platform 'x86_64-linux-gnu-pop22.04'

[magurmach]

I am using Pop os which is ubuntu 22.04.

During bender-init, I receive the following error:

bender-init: Error: Latest release not available for platform 'x86_64-linux-gnu-pop22.04'!
make: *** [Makefile:127: /home/sshakib/riscv/ara/hardware/../hardware/bender] Error 1

If 'x86_64-linux-gnu-pop22.04' is interpreted as ubuntu 22.04, it will overall be fine. Here is the OS release:

sshakib@pop-os:~/riscv/ara/hardware$ cat /etc/os-release
NAME="Pop!_OS"
VERSION="22.04 LTS"
ID=pop
ID_LIKE="ubuntu debian"
PRETTY_NAME="Pop!_OS 22.04 LTS"
VERSION_ID="22.04"
HOME_URL="https://pop.system76.com"
SUPPORT_URL="https://support.system76.com"
BUG_REPORT_URL="https://github.com/pop-os/pop/issues"
PRIVACY_POLICY_URL="https://system76.com/privacy"
VERSION_CODENAME=jammy
UBUNTU_CODENAME=jammy
LOGO=distributor-logo-pop-os

I think this is due to how platform name is interpreted. I tried looking around where the mapping between platform and a release version being done but haven't managed to find it so far.

[micprog]

Unfortunately, not all flavors of Linux will be directly supported and have their custom release. To see how the bender-init script figures out the OS used, check out the init script in the website branch (the following lines should determine the release: https://github.com/pulp-platform/bender/blob/website/init#L286-L304. I believe the fallback linux-gnu release should also work, but feel free to update the init script, maybe to try the ID_LIKE field if the ID field doesn't have a release? Happy to review a PR integrating this change!