L'inventario di Deminix è attualmente privato.