520 bytes added,
10:50, 9 May 2012 [http://en.wikipedia.org/wiki/Linux Linux], or better, GNU/Linux, is an open-source operating system composed by the [http://en.wikipedia.org/wiki/Linux_kernel kernel] and a suite of system and application software that can run on a lot of different system architectures. In particular, GNU/Linux is one of the most widely adopted OSes on embedded systems, and all Dave platforms offer support for this operating system.
This category put together all the specific information about using GNU/Linux on Dave platforms.