I think we should remove the HiFive 1B board since it has been discontinued for some time. See https://www.sifive.com/boards/hifive1-rev-b Perhaps we can replace with ESP32-C3 or something?