Pocket-Ubuntu-kernel Pocket-Ubuntu-kernel4.12 This is a fork of the GPD Pocket 7.0' UMPC-Laptop Ubuntu Kernel Forking to make sure I have a copy of it 20170818-0711EST SMc