Aller au contenu

Logiciel · Raspberry Pi & électronique

device-os

device-os est un logiciel pour microcontrôleurs : débogage.

  • Gratuit sans réserve
  • Open source
  • Sans compte

Présentation

device-os est un logiciel pour microcontrôleurs.

Fonctions décrites dans son dépôt GitHub : débogage.

Présentation rédigée par LicitPro d’après la documentation publiée par les auteurs et les sources citées ; la ressource n’a pas été essayée par nos soins.

Extraits qui établissent ces informations
  • « To get started building firmware locally, see Getting Started. • Latest Release • Changelog • Requirements/Dependencies • Debugging support • make command syntax • Firmware API • System Flags • Continuous Integration… » — GitHub, 10 novembre 2026
  • « The firmware uses the GNU GCC toolchain for ARM Cortex-M processors, ARM's CMSIS libraries, and Arduino's implementation of Wiring. » — GitHub, 10 novembre 2026

L’essentiel

device-os est gratuit sans réserve : c’est un logiciel libre, et toutes ses fonctions sont accessibles sans payer ni s’abonner.

Sa licence (LGPL-3.0) est une licence libre « copyleft » : vous pouvez l’utiliser, l’étudier, le modifier et le redistribuer, y compris à des fins commerciales ; les versions modifiées doivent rester sous la même licence.

Offres et conditions

  • L’éditeur propose aussi des offres payantes (hébergement, support ou services) ; elles sont décrites sur son site.

Points forts

  • Code source ouvert
  • Aucun compte nécessaire
  • Usage commercial autorisé

Sources et vérifications

  • Faits relevés sur Pages officielles des offres (tarifs, licence, conditions) (limites, usage commercial) —
  • Faits relevés sur GitHub (carte bancaire, compte, code source, éditeur, licence, gratuité, plateformes, usage commercial) —
  • Dernière vérification technique : 7 novembre 2026
  • Fiche rédigée automatiquement à partir des faits vérifiés.

Comment les fiches sont établies →

Vous développez device-os ?

Corrigez la fiche avec le formulaire de signalement, ou citez-la avec ce badge facultatif (il affiche la gratuité vérifiée et ne change rien au classement) :

<a href="https://licitpro.fr/fr/ressource/device-os"><img src="https://licitpro.fr/badge/device-os.svg?l=fr" alt="Référencé sur LicitPro" height="20"></a>

Développeurs et éditeurs →

Dans la même catégorie

Meshtastic Desktop

Logiciel · Open source

App officielle de Meshtastic : radio maillée open source et hors ligne.

Gratuit sans réserveLinuxAndroid

Presence Publisher

Application mobile · Open source

Presence Publisher est une application mobile de domotique, disponible sur Android.

Gratuit sans réserveAndroid

Z2M Dash

Application mobile · Open source

Un tableau de bord Zigbee2MQTT qui dialogue directement avec votre broker MQTT.

Gratuit sans réserveAndroid

OpenCCU

Logiciel · Open source

OpenCCU est un logiciel de domotique, disponible sur Linux : extensions et modules complémentaires.

Gratuit sans réserveLinux

homeassistant_espscreen

Logiciel · Open source

homeassistant_espscreen est un logiciel de domotique.

Gratuit sans réserve

ESPuino

Logiciel · Open source

ESPuino est un logiciel pour microcontrôleurs.

Gratuit sans réserve