'''DB'''AVE ORA '''E'''mbedded '''SL'''oftware inux '''K'''it '''L'''inux (DESK-''BELK''-L in short - [[DESK naming|read more info about the naming]] ) - provides all the necessary components required to set up the developing environment to:
* build the bootloader (U-Boot)
* build the Linux operating system
<section begin=Software-History-Linux/>
{| style="border-collapse:collapse; "
!colspan="4" style="width:100%; text-align:left"; border-bottom:solid 2px #ededed"|DESK-BELK-L History
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]].}}
* [[/Development/Synchronizing_git_repositories Host_setup_and_develoment_flow | Host setup and develoment flow]]* [[/Development/Introduction_to_the_development_environment | Introduction to the development environment]]* [[/Development/Build_system | Build system]]* [[/Development/Synchronizing the git repositories| Synchronizing the git repositories]]
* [[/Development/Building_U-Boot | Building U-Boot with <i>make</i>]]
* [[/Development/Building_Linux_kernel | Building Linux with <i>make</i>]]
* [[/Development/Advanced_use_of_Yocto_build_system | Advanced use of Yocto build system]]
* [[/Development/Creating_and_building_a_Vivado_example | Creating and building a Vivado example]]
* [[/Development/Building_the_Yocto_BSP | Building overall BSP with Yocto]]
* [[/Development/How_to_create_a_bootable_microSD_card | How to create a bootable SD card]]