So even if the last compilation was done for an 80486, it will enter
386 in its default menus.
This is kernel 2.0.32.
-- David Kastrup Email: dak@neuroinformatik.ruhr-uni-bochum.de Goethestr. 20, D-52064 Aachen- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.rutgers.edu