So the remaining problem is that the Debian Buster os-prober did not recognise Devuan ascii. -- hendrik