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

The S.Ha.R.K. Mailing Lists

One mailing list is available:


shark-announce (at) is dedicated to announce news about the system distribution. Click here to subscribe!

The S.Ha.R.K. Web Forum

We activated a web forum to ease collaboration between the various people that are using S.Ha.R.K. around the world.

The forum is public; to post new messages a registration is required :-)

Click here to access to the S.Ha.R.K. Forums!

The forum is kindly hosted by the ReTiS Lab of the Scuola Superiore S. Anna.

Please note that the shark-devel and shark-help mailing lists we previously used are not working anymore.

bugzilla people mail links news retis