du must das PAket für das Board erst laden ... unter Tools -> Board -> Board Manager... Dort kannst du dann Filtern udn versuchen dein Board zu finden. Ggf. liefert dir der Hersteller des Boards auf seiner Webseite einen Link oder das Boardfile und du musst es nur in den passenden Ordner werfen (welcher das ist habe ich leider vergessen, ich benutz nurnoch den Manager)