Here follows the description on how to use Linux on some laptops I've
dealt with. Please note that some of them are pretty old, and I've
not access to the laptop any longer, so it is not possible to update
them. Anyway, they may be useful for hints on how to install more recent
distributions.
