osch [1] filed an orphan request for axoloti [2]:
The download link for ChibiOS is broken and no reaction from maintainer
[1] https://aur.archlinux.org/account/osch/ [2] https://aur.archlinux.org/pkgbase/axoloti/
Request #18511 has been accepted by polyzen [1].
aur-requests@lists.archlinux.org