Operating System PIMOS and Kernel Language KL1