Hello, Ramon. On Thu, Sep 23, 2021 at 22:56:34 +0200, Ramon Fischer wrote: > If GitHub is preferred, there is also an official GitHub repository of > the Linux Kernel: https://github.com/torvalds/linux
Thanks, but here GitHub is most emphatically _not_ preferred. ;-) I've managed to clone a repo from the official site that Marco cited, so I'm up and running. > -Ramon -- Alan Mackenzie (Nuremberg, Germany).

