* con **Debian 10** (Buster) installato <small>(con un kernel >= 3.12)</small>
* l'immagine ISO di Debian 10 può essere scaricata da [qui](https://www.debian.org/releases/buster/debian-installer/). Scegli l'immagine 'netinst CD' per la tua architettura.