Success ! I've now got all 10.2Gb available. I had tried to R the FM and came up with nothing, but I went back for another look and found (the excellent) Large-Disk.txt.gz. (It was tucked away in the mini subdirectory)
It gave me confidence that Linux should be able to use the full disk even though the BIOS will never show the correct size. But I couldn't understand why Linux was only reporting 8063MB during boot. I thought back to what had happened during the install. I had plugged everything in, switched on, and couldn't get anything, not even the BIOS screen. The instructions said this was a possibility on some systems, and advised an alternate jumper configuration for those cases. So I made the changes, switched on, and still nothing. Then I remembered that I hadn't really been too sure which way round the IDE connectors go, since the connectors had no middle notch, even though the sockets did. Grrrrrr. So rotated the HD connecter through 180 deg and powered up. Bingo, system working and disk detected OK, but Linux reporting only 8063MB. I suddenly thought what the answer might be, tried it and it worked. Linux can now see 9770MB = 10.2Gb depending on how you do the counting. I've told you the vital information above, so as a teaser, here's the solution via ROT13. V unq sbetbggra gb chg gur whzcref onpx gb gur bevtvany frggvat. Thanks to Jim B for the reply. I was going to go for a boot partition, but had no idea on the size. 15MB it is. -- Regards, Paul