Op vrijdag 01-12-2006 om 12:08 uur [tijdzone -0500], schreef John Richard Moser: > Ideally it would be possible to switch between these via a boot > parameter but I suspect that would be difficult to get exactly right. It's much easier to install multiple kernels, and select the one you want in the GRUB menu... -- Jan Claeys