Dépôts de ChibiOS

2 dépôts publics de ChibiOS au catalogue, du plus étoilé au moins étoilé.