Jakub Jermar

4 shared projects   redox-os, MINIX 3, GNU Hurd, Genode OS Framework

1 unique project   NixOS

1 shared project   HelenOS

No unique projects

1 shared project   HelenOS

No unique projects

1 shared project   NOVA Microhypervisor

No unique projects

2 shared projects   MINIX 3, GNU Hurd

2 unique projects   Linux Kernel, Haiku

1 shared project   Genode OS Framework

No unique projects

1 shared project   Genode OS Framework

No unique projects

1 shared project   HelenOS

No unique projects

1 shared project   GNU Hurd

No unique projects

1 shared project   Genode OS Framework

No unique projects

1 shared project   HelenOS

No unique projects

1 shared project   seL4

No unique projects