32 bit linux server for developers