> Is it possible to fix OpenBSD 4.0 system without compiling anything, > by e. g. somehow rewriting the file that contains the kernel?
Yes, if you have a copy of the kernel from someone you trust to provide it. > I have never compiled OpenBSD, ports etc. No need to compile all of OpenBSD. 1. If you don't have 4.0 kernel source code installed already, follow the section 'Pre-loading the tree' to install sys.tar.gz; http://www.openbsd.org/faq/faq5.html#BldGetSrc. 2. Apply the patch. 3. Follow http://www.openbsd.org/faq/faq5.html#Building There are no official sources for binaries. OpenBSD supports 17 hardware platforms, so that's another *34* build machines to power, cool, house, admin and repair, to produce binaries for the two supported releases.
