Changes

DIVELK contains all the required software and documentation to start developing Linux application on the DIVA platform. In particular, DIVELK provides a Virtualbox virtual machine with two emulated disks: * Boot disk with pre-installed Ubuntu Linux 12.04.2 LTS and pre-configured basic Linux services (TFTP, NFS, ...) * Secondary disk containing source code and tools:** Bootloader (u-boot) source tree cloned from '''DAVE Embedded Systems''' public git repository ** Linux kernel source tree cloned from '''DAVE Embedded Systems''' public git repository** Toolchain