* VirtualBox A [[DESK-MP1-L/General/Managed Virtual Machine (MVM)|Linux virtual machine ]] (called MVM) containing** Yocto build system (toolchain and SDK)** ATF/Prebuilt images for supported targets (microSD card partitioned images, U-Boot bootloader sources** Linux kernel sources** Root file system images, etc.)* [[DESK-MP1-L/Development/Synchronizing git repositories access for registered users allowing the update of the following repo|git repositories]]:** arm-trusted-firmwareARM Trusted Firmware (ATF)** uU-bootBoot
** desk-mp1-boot-image
** linuxLinux kernel
** desk-mp1-l-bsp
* SD card with * [[DESK-MP1-L/Development/Using the complete environment forSTM32CubeMX Configuration file (.ioc)|STM32CubeMX Configuration file (<code>.ioc</code>)]]** [[DESK-MP1-L/Development/How to create a complete Kit bootstrap and demonstration bootable microSD card|Bootable SD card images]] (with uU-bootBoot, Linux kernel , and root file systems binaries already configured)* A [[DESK-MP1-L/Development/Management of prebuilt packages|repository]] containing all of the prebuilt packages available in the Yocto distribution To populate the MVM with the source files of interest, please refer to [[DESK-MP1-L/Development/Synchronizing git repositories|this page]]. It also is worth remembering that '''DESK-MP1-L is compatible with the use of STM32Cube tools provided by ST Microelectronics'''. When applicable, they are mentioned in the documentation to show how they can be used in tandem with the DESK tools. For instance, see [[DESK-MP1-L/Development/Using the STM32CubeMX Configuration file (.ioc)|this page]].
To register the kit, please send an email to [mailto:helpdesk@dave.eu helpdesk@dave.eu], [[Development_Kits_Identification_Codes|providing the kit P/N and S/N]].}}