Kernel for operating systems running on x8086 based processors. Supports multithreading, standard counting semaphores, events and signals.