Open Source Operating System Kernels

SkyEye is a very fast full system simulator which takes llvm as IR of dynmic compiled framework.. It can simulate series ARM, Coldfire,Mips, Powerpc, Sparc, x86, TI DSP and Blackfin DSP Processor. Also can simulate multicore system by the multicore of host. The commercial support is provided by DigiProto Co. (http://www.digiproto.com)

Source level debugging for linux kernel. Allows debugging of linux kernel using gdb over a serial line

IPGDB is a collection of extensions to GDB and FreeBSD-4.3 to allow two-machine kernel debugging over UDP. It acts much like two-machine kernel debugging over serial ports.

OpenTNF is a system-level tracing facility for capturing and presenting diagnostic information and performance metrics. Linux/Intel (kernel 2.2.x) is the initial target platform. The OpenTNF project is seeking developers for ports to other platforms.