Fiasco is a microkernel with real-time capabilities running on the x86 and ARM platforms. It is compatible with the L4 microkernel, which has set standards in microkernel performance and functionality. Fiasco is a fully-featured and secure L4 implementation with excellent real-time properties. It can run L4Linux, a port of the Linux kernel to the L4 interface which executes completely in user mode. The screenshot shows the DOpE real-time windowing environment running on top of Fiasco, with an instance of L4Linux running in one of the windows.
Kernel Analyzer monitors system activity by recording information about task preemptions and interruptions. The data generated is intended for real-time developers and is useful for analyzing driver timing issues and scheduling efficiency. It can also help by giving an overview of a system.
KernelDriver automates your Windows 2000/NT, Windows Me/98/95 and Linux device driver development by providing you with powerful tools for hardware debugging, driver code generation, and driver debugging. KernelDriver supports PCI / USB / ISA and EISA drivers. KernelDriver for Windows and Linux includes the powerful Driver Wizard. Using the Driver Wizard you can graphically debug your hardware by "peeking" and "poking" at it without writing a single line of code. After your hardware is diagnosed, use the Driver Wizard to generate a complete kernel mode device driver which will drive your hardware.