Just tried it again (yeah, nothin like banging yer head into a brick wall,
is there?), and here's the real error:

.: Can't open /bin/addkernel

Hrmm. I am of course no wiser than I was before. Anyway, I bet having the
correct error should help :)

Thanks.

Reply via email to