@helioloureiro De fato, o laptop dele parece ser um modelo chinês que só boota sistemas livres, bem limitado de specs (mas não tem hurd)