1 2 3 4 5 6 7 8 9 10 11
pkgbase = chibios pkgdesc = ChibiOS - free embedded RTOS pkgver = 20.3.0 pkgrel = 1 url = http://chibios.org arch = any license = GPL source = https://osdn.net/projects/chibios/downloads/72607/ChibiOS_20.3.0.7z pkgname = chibios