Ismene

What is Ismene?
Licence and Availability
Download Binaries
Download Sources
ismene.htmlis32.html">Detailsismene.htmlis32.html

What is Ismene?

Ismene is a discrete event simulator for a Modula-2 based microkernel. This microkernel is available and has been targetted to the 80[3456]86 microprocessors. Ismene models the 80586 version of the microkernel and provides performance analysis. The 80586 and Ismene equivalent share as much source code as possible (all Modula-2), only a few target dependant files differ: context switching, interrupt handling (SYSTEM.mod) and low level device access modules, PortIO.mod and a few others.

Both the Modula-2 microkernel and Ismene microkernel can be source level debugged using gdb and gdb-is32 respectively. The ismene microkernel can be single stepped in reverse.

Licence and Availability

Ismene is covered by the GNU CopyLeft licence version 2.

Download Binaries

http://floppsie.comp.glam.ac.uk/download/m2/RPM/is32-binutils-2.9.1.0.4-1.i386.rpm
http://floppsie.comp.glam.ac.uk/download/m2/RPM/ismene-0.1-1.i386.rpm
http://floppsie.comp.glam.ac.uk/download/m2/RPM/is32-gdb-4.17-1.i386.rpm

Download Sources

http://floppsie.comp.glam.ac.uk/download/m2/SRPMS/ismene-0.1-1.src.rpm
http://floppsie.comp.glam.ac.uk/download/m2/SRPMS/is32-gdb-4.17-1.src.rpm
http://floppsie.comp.glam.ac.uk/download/m2/SRPMS/is32-binutils-2.9.1.0.4-1.src.rpm

Detailsismene.htmlis32.html ismene.htmlis32.html">