User's Manual
Table Of Contents
Chapter 3
Software
3.1 Operating system
With the Sirius TagBoard DDT comes a "Unix-like" operating system based on the Linux kernel, version
3.9.4. The current release of the kernel ensures complete compatibility with all parts of the TagBoard.
The kernel image is compliant with the GNU GPLv2 license, and is then distributed along with its source
code.
The Linux kernel is designed to be compatible with the IEEE POSIX interprocess communication. This
allows users to compile most of the existing Unix programs and run them.
The distribution is based on the Yocto Project and allows the management of applications through
packets, as in Linux distributions for desktop systems.
The applications developed in userspace can use all the system libraries provided by OpenEmbed-
ded / Yocto. These libraries have been released under the LGPL license, so that the developer has
the option to assign the preferred license to his own software. In userspace, there are no implications
or dependencies enforced with proprietary software.
The operating system integrates Xenomai scheduler to guarantee real-time performance.
24