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. Download

Quick links

Last Release DOS and Windows Utils Repository Java JTracer Libraries

Back to quick links

Last Release

These are the last stable release of S.Ha.R.K. kernel and demos. See Kernel Overview and Demos for details

Version 1.5.4 - Nov 14, 2007
Compressed tar package: shark-1.5.4.tar.bz2
ZIP package: SHARK1531.ZIP

Among other improvements, fixed compatibility with virtual machines like QEmu and VirtualBox.

S.Ha.R.K. Bootable CD-ROM ISOs

These are FreeDOS CD-ROMs where DJGPP 3.33 and S.Ha.R.K. are already configured and installed. Now you can simply test all the base S.Ha.R.K. demos with a CD boot on the target machine. All the demos are pre-compiled and ready to be executed through X DOS extender.

EXAMPLE: How to load the aster demo

1) Boot the system with S.Ha.R.K. CD-ROM
2) > cd \shark\demos\base
3) > x aster

Download the pre-compiled S.Ha.R.K. bootdisk CD-ROM ISO:

Thanks to Tullio Facchinetti, University of Pavia!

Back to quick links

Utilities and compiler for DOS and Windows user


Unzip utility


The minimal DJGPP distribution with ELF binaries support. You need it for S.Ha.R.K. 1.4 and above versions.


An utility (DOS TSR) to use long file names under DOS Real Mode. If you use S.Ha.R.K. 1.4 or newer versions, you need it to compile kernel, demos and applications, with DOS or FreeDOS. (DOSLFNJH is a slightly newer version, works better with W98)

Bootdisk with GRUB 0.93 + FreeDOS (kernel 2029) + TURBODSK V2.42 + FTP Server for WatTCP32

FTPServer is a simple tool to upload throught FTP a S.Ha.R.K. demo from a remote client. You need the DOS Packet Driver for your network card.
DOS Packet driver for Realtek 8139 and 3c59X included!

The disk contains also a RAM disk tool.

For linux user:
dd if=fdremote.img of=/dev/fd0

For DOS user:
rawrite fdremote.img a:
Utility to write an image file on a floppy disk

For a complete and -up to date- DJGPP distribution, please, refer to .

Back to quick links

Online S.Ha.R.K. Repository

  • To check out and compile a S.Ha.R.K. snapshot from the S.Ha.R.K. online Repository type the following commands into your Linux console:

cvs -z3 -d checkout -P shark
cd shark
cvs -z3 -d checkout -P demos

Back to quick links

Java tracer

Java JTracer This is a beta version of the Java JTracer, a graphical visualization tool that can show trace files produced by S.Ha.R.K. that have also been filtered using the jdump program (see the demos/tracer/utils directory).
A readme is also provided.
For any comments on the JTracer, please contact Giuseppe Lipari

Back to quick links

Additional Libraries

CiberMouse Simulator This is the library of the simulator that is used for the CiberMouse competition during the Real-Time Systems Symposium 2006.
Take a look to the CiberMouse competition homepage for more information. For any question, please contact Paulo Pedreiras.

Back to quick links
bugzilla people mail links news retis