Документирование среды программирования для операционной системы L4Ka (Documenting the programmer environment for…