Hi list, After discovering the wiki at [1], I (re-)installed Debian on my hp712 with debootstrap (foreign), nfsroot and kernel 4.0.2. This works like a charm. Thank you for maintaining Debian hppa! Best regards, V. [1] https://parisc.wiki.kernel.org/index.php/Debian_Ports_Installation