Software comes with Arduino sketches and an Arduino library. But I can't find information about the board to use in Arduino IDE. Which board have I to choose and where can I download it?

I'm very interested in this information, please create a board to add in board manager.