I have a old portable IBM ThinkPad T20. This it does not work with ACPI (hal freeze the computer), only work with APM. I need to recompile the kfreebsd kernel with other options. How compile the kernel?. A manual of kfreebsd kernel config?. Best Regards --- Angel P.D. My English is worst.