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
	sha256sums = f2b37b4c6925efff95687729c7a3194ae19923365992de2476d88f2d1ef15c00

pkgname = chibios