A project to design the Sysel programming language and tools to enable the development of the multi-server operating system HelenOS at an adequate level of abstraction. Sysel is a high-level object-oriented language, statically typed, with generics and automatic memory management. Sysel aims to support contemporary concepts such as dynamic linking and distributed computing.