All, is there a git repository for the latest kernel? As an aside, I'm running Debian self hosting via an SSD and a usb ethernet dongle. This means that I can use Dracut to create the ramdisk. This is all 4.18 based and reasonably stable, although disk I/O seems slow and the file system does, after a few hours start giving errors. I'll start a Debian thread on the forum...

David