Salve lista, qualcuno ha notizie dettagliate su come installare Debian su un as400 modello 520 (va bene comunque qualsiasi modello)? Stavo leggendo che alcuni AS400 hanno, oltre al ppc64 un processore intel, vi risulta? Paride