Subversion Repositories HelenOS-doc

{\JJ} is the original author of the SPARTAN kernel and the initiator of the

Jakub is the original author of the SPARTAN kernel and the initiator of

idea to start the HelenOS project. During the works on the system, he has

the idea to start  the HelenOS project. Once the team was composed, he

been the most active developer. He also took on the project agenda

implemented considerable parts of the ia64 code and he also worked on

for ia32 and mips32 along with SMP support, scheduler and synchronization\footnote{The

the mips32 memory management. On the generic front, Jakub designed the

initial SPARTAN kernel did not reach userspace.}.

generic virtual address translation interface for the 4-level

of ia64 code and worked also on mips32 memory management.

hierarchical page table translation mechanism as well as the global page

On the generic front, {\JJ} designed generic the virtual address

hash table translation mechanism. He has been involved in the address

translation interface for the 4-level hierarchical page table translation mechanism

space management functions and userspace synchronization through

as well as for the global page hash table translation mechanism. He has been involved

futexes. Other areas in which he contributed include the kernel console

in address space management functions and userspace synchronization through futexes.

and the kernel ELF loader. Jakub is also the author of the generic buddy

Other areas of his contribution include the kernel console and the kernel ELF loader.

system framework as well as the B+tree implementation. His latest

{\JJ} is also the author of the generic buddy system framework and B+tree implementation.

contribution is the userspace PCI driver.

kernel and userspace and has completely created the amd64 port and completed the mips32

{\Ondrej} has completely created the amd64 port and completed the mips32 port

port to the extent that it runs on a real MIPS machine\footnote{SGI Indy}.

to the extent that it runs on a real MIPS machine\footnote{SGI Indy}.

Besides the architecture specific involvement, {\OP} programmed the slab allocator

Besides the architecture specific involvement, {\Ondrej} programmed the slab

and modified the frame allocator to be self-contained which in turn let the old

allocator and modified the frame allocator to be self-contained which in

and very limited heap manager be removed from the kernel entirely. He also created

turn let the old and very limited heap manager be removed from the

architecture independent FPU lazy switching framework. Other example of his

switching framework. Other example of his activity is the IPC subsystem

activity is the IPC subsystem and partial TLS\footnote{Thread local storage.} support.

and partial TLS\footnote{Thread local storage.} support. Lastly, {\Ondrej}

Lastly, {\OP} equipped the kernel console with features found in userspace command shells

equipped the kernel console with features found in userspace command

(e.g. tab completion of commands and command history through keyboard arrows) and wrote

shells (e.g. tab completion of commands and command history through

the kernel configuration software.

keyboard arrows) and wrote the kernel configuration software.

{\MD} is a very dedicated HelenOS developer. Right from the beginning, Martin

Right from the beginning, Martin has cared about project's code purity

has cared about project's code purity and readibility. He was the first developer to

and readibility. He was the first developer to start writing

start writing Doxygen-style comments. He has promoted the proper use of C language

Doxygen-style comments. He has promoted the proper use of C language

{\tt const} keywords and extensive typedefing. On the tools front, he has rewritten

{\tt const} keywords and extensive typedefing. On the tools front, he

the initial build system and created all our toolchain build scripts.

has rewritten the initial build system and created all our toolchain

Martin worked and much improved the ia32 and amd64 kernel booting using the Grub bootloader

Martin worked and much improved the ia32 and amd64 kernel booting using

and Multiboot specification. He also created specialized boot loaders for mips32 and ppc32 --- architectures

specialized boot loaders for mips32 and ppc32 --- architectures that

that don't provide many other ways to load userspace init tasks. Finally,

don't provide many other ways to load userspace init tasks. Finally,

{\MD} bacame the sole author of the entire ppc32 port and has encountered

Martin bacame the sole author of the entire ppc32 port and has

partial success in booting ppc64 port to real hardware\footnote{Apple G5.}.

encountered partial success in booting ppc64 port to real

{\JV} has worked on ia32 and ia64 FPU context switching and passive ia32

Jakub has worked on ia32 and the ia64 FPU context switching and passive

and active and passive ia64 console. He has relocated the ia64 kernel to

ia32 and active and passive ia64 console. He has relocated the ia64

region 7 (i.e. to the highest addresses) and has first coped with ia64

kernel to region 7 (i.e. to the highest addresses) and has first coped

interrupts. {\JV} has been always prepared to discuss different kernel

with ia64 interrupts.  Lastly, Jakub programmed the VESA frame buffer

issues. His expertise in ia32 is well recognized.

support for ia32 and amd64 and created the userspace framebuffer driver.

{\JC} has worked on ia32 memory map detection, softfloat and softint libraries

Josef has worked on ia32 memory map detection, softfloat and softint

and printf() standards comformance. He also ported several kernel libraries to userspace.

libraries and printf() standards conformance. He also ported several

{\SB} implemented sorting library functions and implemented the buddy allocator

Sergey implemented sorting library functions and implemented the buddy

interface for the frame allocator. He edited project documentation.

allocator interface for the frame allocator. He edited project