The Kernel of the old POSIX compatible OSC OS