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.
Ismene is covered by the GNU CopyLeft licence version 2.
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
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