[Fwd: Severn kernel on Red Hat 9]