@emmanuelwald NetBSD is definitely an excellent choice, I would also recommend Alpine Linux, with one caveat: It only supports CPUs with SSE2. (This isn't impossible to change, but it would take some effort)