Compilare il kernel XEN
Per compilare il kernel Xen si prepara una macchina con almeno 64GB liberi, si installano i pacchetti necessari, si scaricano i sorgenti del kernel e si importa la configurazione corrente. Si modificano le opzioni per Xen tramite sed ed echo, si rimuovono eventuali duplicati nel file .config, poi si rigenera la configurazione con make oldconfig. Infine si compila e si creano i pacchetti .deb con make bindeb-pkg.
