32bit linux server for developers