I hate to see questions go unanswered. Steve H replied to me saying it took him 12 hours under these conditions, and now that I have done it I can say it took my P233 laptop a full 24 hours to install brickOS under Paolo's instructions. I'm also sad (...) (21 years ago, 17-Jan-04, to lugnet.robotics.rcx.legos)
(...) Try make fontdesign in the util directory to build fontdesign.exe, and then do the make strip again. (21 years ago, 21-Jan-04, to lugnet.robotics.rcx.legos)
(...) Or you can just skip the make strip step entirely. All it does is reduce the size of your executables but that has no bearing whatsoever on whether they function. Try opening a DOS box, change directory (without entering the BASH shell) into (...) (21 years ago, 21-Jan-04, to lugnet.robotics.rcx.legos)