On 02/15/18 06:24, Lee Brown wrote: > I do find it curious that the loader is able to work the USB hardware but > not the kernel. The loader is using the BIOS's USB code. Usually there is a handover from BIOS to OS, maybe that's where it's broken. --HPS