===== Le software du hardware ===== ==== μClinux ==== * [[http://www.uclinux.org/index.html|μClinux ]] - Embedded Linux/Microcontroller Project ==== mbed ==== * [[http://mbed.org/technology/os/|mbed]] - designed for ARM® Cortex®-M-based MCUs, //opensource mais proprio// ==== Gestalt framework ==== Thèse de Ilan Ellison Moyer - MIT 2013 * [[http://pygestalt.org/VMC_IEM.pdf|Thèse de Ilan Ellison Moyer]] - A Gestalt Framework for Virtual Machine Control of Automated Tools// - MIT 2013 //