** Linux kernel source tree cloned from DAVE Embedded Systems public git repository

** External pre-built toolchain

* Pre-installed Yocto-based root file systems with setup scripts, makefiles, example applications, ...

* Administrator account (dvdk) with autologin. Please note that the user account credentials are provided with the development kit (you can find them into the README file contained in the sw/dvdk folder of the kit distribution)