STM32F407 Discovery Compiling Issues

HardwareSerial.hclass HardwareSerial : public Stream {
public:
HardwareSerial(usart_dev *usart_device,
uint8 tx_pin,
uint8 rx_pin);

/* Set up/tear down */
void begin(uint32 baud);
void end(void);

/* I/O */
virtual int available(void);
virtual int peek(void);
virtual void flush(void);
uint32 pending(void);
virtual int read(void);
virtual size_t write(unsigned char);
using Print::write;

/* Pin accessors */
int txPin(void) { return this->tx_pin; }
int rxPin(void) { return this->rx_pin; }
operator bool() { return true; } //<-------------- This line -----------------

private:
usart_dev *usart_device;
uint8 tx_pin;
uint8 rx_pin;
};

Here is the screenshot of my device manager and the tools menu of Arduino IDE 1.6.9 and I’m unable to understand why it’s not showing me any port option and on the other hand that port options works perfectly fine when I’m connecting my Arduino Mega 2560 board with my PC.

The stlink built into the f4 discovery does not have uart built in. You need to connect to the uart on the f4 with a separate USB-UART device.

martinayotte wrote:There is a small but important difference between F1 and F4 :
Under F4 the SerialUSB is not mapped to Serial, since Serial serial is already mapped to an hardware serial port, like other Serial1/Serial2/Serial3/Serial4.
You should change all Serial keywords in your sketch with explicit SerialUSB.

Along with this issue can you please let me know how can I write a code to blink an LED on Pin 12 and Pin 13 because STM32F4 has on board LEDs on these pins. May be I can upload a simple code to turn on these two LEDs.