This sourceforge project is closed until further notice --
CarbonKernel is a RTOS simulator based on event-driven simulation techniques. It mimics real-time operating systems behaviour, allowing to implement and test embedded software on a workstation.