Good to know! I have a few old 32-bit laptops in my collection, and I thought my only options at this point were FreeDOS or one of the BSDs.
So, I actually decided to install FreeBSD on it. :) It works well for my use case, which is a simple file server without any GUI. I love how simple FreeBSD is compared to Linux distros.