Repository for the Shark kernel
Shark source code can be downloaded from the following web site:
URL:
http://shark.sssup.it/repository/shark
Repository for Shark real-time applications
The repository includes a folder of supported applications and a folder of all unsupported software. The supported applications are tested and maintained by the developers to be consistent with the current kernel version, while the unsupported folder includes all programs, demos, and advanced applications developed under Shark and made available by the maintenance team.
URL:
http://shark.sssup.it/repository/applications
URL:
http://shark.sssup.it/repository/unsupported
Repository for Shark internal algorithms
A repository of all kernel modules developed for the Shark operating system was created to facilitate the users in the development of new kernel mechanisms. The modules include scheduling modules (implementing periodic schedulers, aperiodic servers, or overload management policies) and resource modules (implementing concurrency control protocols for accessing shared resources). Each modules contains the C source code and required headers compliant with the Shark module specifications.
URL:
http://shark.sssup.it/repository/modules
Repository for the Erika kernel
The Erika kernel:
http://www.evidence.eu.com/content/view/27/254/
Erika for the dsPIC:
http://www.evidence.eu.com/content/view/113/243/
Repository for the Flex board
URL:
http://www.evidence.eu.com/content/...
Repository for the Flex-Erika applications
URL:
http://www.evidence.eu.com/content/blogsection/6/266/