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:

S.Ha.R.K. 1.5.

S.Ha.R.K. 1.4.

Thanks to Tullio Facchinetti, University of Pavia!

Back to quick links

Utilities and compiler for DOS and Windows user

UNZIP32.EXE	Unzip utility
MINDJ333.ZIP	The minimal DJGPP distribution with ELF binaries support. You need it for S.Ha.R.K. 1.4 and above versions.
DOSLFN.ZIP DOSLFNJH.ZIP	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)
FDREMOTE.ZIP	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: `unzip fdremote.zip dd if=fdremote.img of=/dev/fd0` For DOS user: `unzip fdremote.ziprawrite fdremote.img a:`
RAWRITE	Utility to write an image file on a floppy disk

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

Back to quick links

Online S.Ha.R.K. Repository

The download directory contains all the available tools for S.Ha.R.K.
The main S.Ha.R.K. Repository contains the complete S.Ha.R.K. code tree available for browsing and download.
The S.Ha.R.K. Modules Repository contains all the scheduling algorithms and resource sharing policies available for S.Ha.R.K.
The supported applications consist of demo applications regularly updated to the new kernel version by the maintaince team.
The unsupported software include unsupported applications and advanced unsupported applications consisting of demo applications developed by users and made available by the maintainance team.

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 :pserver:anonymous@feanor.sssup.it:/home/cvs/cvsroot checkout -P shark cd shark cvs -z3 -d :pserver:anonymous@feanor.sssup.it:/home/cvs/cvsroot checkout -P demosmake

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