Hi Richard. I'm surprised by the small number of 9legacy patches you are using. Any reason in particular that you could share? I'm preparing a new installation and this is a good time to choose the starting point.
The 9pi image is intended as a close approximation to the 4th edition, adapted for the Raspberry Pi. For practical daily use I'd recommend the 9legacy SD image instead. The
9legacy.org site has a build script showing how that is made, starting from the 9legacy CD image,
The actual 9pi.img.gz on contrib is a "golden"
copy which I've been updating with individual patches since about 2012
Do you mean other patches than the ones you shared with 9legacy?
No, they are the exact same patches. I meant that each patch has been applied only once, so the source file modification times show when the patch was done, not when the SD image was made.