Does anyone know if this mini-portable is supported with debian ? I'm looking forward to use it for some admin-tasks ... Joris