Hello, I need a kernel for a ds-10 ( compaq ), anybodu know which disks or where I can get a kernel ? / ls.