Feb 15, 2008

  • New technical manager. See the peole page.

Nov 14, 2007

  • New S.Ha.R.K. version 1.5.4 available here, now runs on virtual machines like QEmu and VirtualBox.

Jan 17, 2007

  • New S.Ha.R.K. version 1.5.3 available here, now fully GPL compatible.

Aug 21, 2006

  • CiberMouse competition library for S.Ha.R.K. available here (RTSS 2006).

Jul 18, 2006

  • New Tracer manual draft released; documentation section restyled; experimental txt and html manual versions. See here.

Jul 17, 2006

S.Ha.R.K. Documentation

Online S.Ha.R.K. Forum

  • The S.Ha.R.K. Quick Guide

    A short document that covers the installation and some common issues for using S.Ha.R.K.

  • S.Ha.R.K. 1.5 User Manuals

    Manuals for S.Ha.R.K. 1.5, including:
    Kernel primitives manual pdf txt html
    Programming libraries manual pdf txt html
    Modules manual pdf txt html
    Kernel architecture manual pdf txt html
    New Tracer manual pdf txt html
    Filesystem manual pdf txt html

  • Porting Scheduling Modules to the new interface

    This is a small step-by-step guide that will help you in porting S.Ha.R.K. scheduling modules from the old interface to the new interface introduced since January 8, 2003.

  • S.Ha.R.K. Compendium

    A quick reference guide from Malardalens University, Sweden.

  • FAQs

    S.Ha.R.K. FAQs - online on the Forum website.

  • Group Creation Howto

    A small draft that explains how to create and guarantee group of tasks atomically.

  • OSLib Manual

    A copy of the OS Lib manual.

  • NIPCI6025E Manual

    The National Instruments PCI6025E driver manual and instructions (by Marco Ziglioli

    Related Documentation

  • PJ's Thesis

    The Paolo Gai's Master Thesis (italian only), useful to look inside the Kernel Architecture. The thesis has been translated and now it is included into the S.Ha.R.K. Documentation (volume 4).

  • Massy's Thesis

    The Massimiliano Giorgi's Master Thesis (italian only), useful to look inside the S.Ha.R.K. File System and Tracer. The thesis has been translated and now it is included into the S.Ha.R.K. Documentation (volume 5 and 6).

  • S.Ha.R.K. demos documentation

    This page contains some documentation about the various demos present in the S.Ha.R.K. distribution.


    2003 An Open Source Real-Time Kernel for Control Applications
    Proceedings of the 47imo Convegno nazionale ANIPLA : "Automazione per l'efficienza e la competitivita' d'impresa".
    BibTeX Entry
    2003 Analise de escalonabilidade de tarefas no kernel de tempo real S.Ha.R.K.
    Proceedings of the Brazilian Congress of Computation - CBComp, in Itajai, SC - Brazil (
    2003 Mutual Exclusion in operating systems with application defined scheduling
    Proceedings of the ARTOSS '03 Workshop.
    BibTeX Entry
    2001  A New Kernel Approach for Modular Real-Time systems Development
    Proceedings of the 13th IEEE Euromicro Conference on Real-Time Systems
    June 2001
    Delft, The Netherlands.
    BibTeX Entry


    Slides directory The directory that contains all the slides.

    These slides (in english) were used in

    • University of Pisa (Italy (May 29, 2002)
    • First Shark Workshop (2005)
  • bugzilla people mail links news retis