On Mon, 4 Mar 2019, Geert Uytterhoeven wrote:
I have no idea which kernel version is used for the "v10 disc image".
I'm sorry. I had thought the Debian 68k list was the right place to ask about the Debian 68k port distributed at https://cdimage.debian.org/cdimage/ports/2019-01-27/.
-- David. d.henderson.96@cantab.net