pkgbase = chibios
	pkgdesc = ChibiOS - free embedded RTOS
	pkgver = 20.3.3
	pkgrel = 1
	url = http://chibios.org
	arch = any
	license = GPL
	source = https://osdn.net/projects/chibios/downloads/72607/ChibiOS_20.3.3.7z
	sha256sums = 4f9ecbbeb2e87977543dc0bf3a0552b791edd2246e99da4c91ea34013522a754

pkgname = chibios