Serial Console IO

[Steven Grunza]

Hello,
  I'm using the stm32f4 BSP.  

  For console IO can I just use fprintf( stdout, ...) and fgets( ...,
stdin )?

Steven G