Can you please let me know if Linux kernel and the boot loader is provided for STM32F407VG MCU boards? Is so, can you please provide me the path to configure and bring up procedure.

[Tesla DeLorean]

No it is not.

If you want ucLinux, try emcraft.com

[RK V.1]

Thank you very much for the response. Will check @ emcraft.com. Do ST provide any other OS and drivers for STM32F407VG MCU board? I understand that there are various work bench options available though.

[Tesla DeLorean]

Which board specifically? The discovery board?

CubeF4 contains peripheral examples.

Examples of FreeRTOS.

Not really enough memory and MMU to support Embedded Linux.

You're going to need bare metal skills to much productive with these MCU

[RK V.1]

The board is STM32F4DISCOVERY. Thanks for providing the references. will explore CubeF4.

[RK V.1]

In CubeF4 1.25.0, i see that user manuals for HAL drivers are starting from STM32F410Rx, 411xE and so on. I certainly think that the HAL is supported for USB Device functionality for STM32F4DISCOVERY board which has STM32F407VG MCU. Please let me know if my assumption is fine.

Also, can you please suggest me any USB class device driver for streaming functionality?

Thanks in advance.