Some example codes for stm32f4-discovery board using the new HAL libraries