Hendrik Boom Thu, 31 Jan 2019 12:15:49 -0800
So the remaining problem is that the Debian Buster os-prober did not recognise Devuan ascii.
-- hendrik