Ismene is a discrete event simulator for a Modula-2 based microkernel. This microkernel is available and has been targetted to the 8086 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.