Top

7.5. Loading the kernel

Please use the latest loadbsd.730 to load kernels >= 720. This avoids some problems you might encounter otherwise.

If the kernel doesn't boot, try binpatch -s _ite_default_height -r 400 [kernel name]. You can also use 200 instead of 400.

Matthias Kirschnick 04/15/94